- 5 Ergebnisse
Kleinster Preis: € 37,99, größter Preis: € 57,66, Mittelwert: € 48,78
1
Rigorous Methods for Software Construction and Analysis - Herausgegeben:Abrial, Jean-Raymond; Glässer, Uwe
Bestellen
bei booklooker.de
€ 37,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Herausgegeben:Abrial, Jean-Raymond; Glässer, Uwe:

Rigorous Methods for Software Construction and Analysis - Taschenbuch

2010, ISBN: 9783642114465

[ED: Softcover], [PU: Springer / Springer Berlin Heidelberg / Springer, Berlin], This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, wh… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
zuklappen (X)
2
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday Jean-Raymond Abrial Edit
Bestellen
bei BarnesandNoble.com
€ 54,99
Bestellen
Details und Versand
gesponserter Link
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday Jean-Raymond Abrial Edit - neues Buch

2006, ISBN: 9783642114465

This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, which was organized as a Festkolloquium on the occasion of his 60th birthday i… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
3
Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday - Glässer, Uwe (Herausgeber); Abrial, Jean-Raymond (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 57,66
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Glässer, Uwe (Herausgeber); Abrial, Jean-Raymond (Herausgeber):
Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday - neues Buch

2010

ISBN: 3642114466

2010 Kartoniert / Broschiert Algorithmus, EDV / Theorie / Programmieren / Allgemeines, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Mathematik, Mathematik / In… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
4
Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday - Abrial, Jean-Raymond und Uwe Glässer
Bestellen
bei booklooker.de
€ 39,79
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Abrial, Jean-Raymond und Uwe Glässer:
Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday - Erstausgabe

2010, ISBN: 9783642114465

[PU: Springer Berlin], Neubindung, Buchecken leicht angestossen, 1. Auflage 2009 6270119/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, Kreditkarte,… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
zuklappen (X)
5
Rigorous Methods for Software Construction and Analysis - Jean-Raymond Abrial; Uwe Glässer
Bestellen
bei lehmanns.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Jean-Raymond Abrial; Uwe Glässer:
Rigorous Methods for Software Construction and Analysis - Erstausgabe

2010, ISBN: 9783642114465

Taschenbuch

Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday, Buch, Softcover, 2010, [PU: Springer Berlin], Springer Berlin, 2010

Versandkosten:Versand in 7-10 Tagen. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Rigorous Methods for Software Construction and Analysis
Autor:
Titel:
ISBN-Nummer:

9783642114465


This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, which was organized as a "Festkolloquium" on the occasion of his 60th birthday in May 2006. Focusing on applied formal methods, the volume covers a wide range of applied research, spanning from theoretical and methodological foundations to practical applications of Abstract State Machines, B, and beyond, emphasizing universal methods and tools that, regardless of their applicational orientation, are still committed to the ideal of mathematical rigor. In particular, the papers address the following central topics: methodological foundations of requirements specification and verification, characterization of specification languages and their logical foundations, advanced tool environments and systematic integration of tools, machine assisted validation and verification, distributed algorithms and concurrent protocols, novel applications in public safety, security and privacy, industrial case studies and experience reports, and the role of formal methods in computer science education.

Detailangaben zum Buch - Rigorous Methods for Software Construction and Analysis


EAN (ISBN-13): 9783642114465
ISBN (ISBN-10): 3642114466
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin
235 Seiten
Gewicht: 0,390 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2009-04-07T00:37:55+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-04-06T19:39:11+02:00 (Berlin)
ISBN/EAN: 9783642114465

ISBN - alternative Schreibweisen:
3-642-11446-6, 978-3-642-11446-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: glässer, raymond jean, uwe will, jean ray, gläss, glass, glasser, abri, heinrich hans, schölz schölz, dieter born, raymon jean, heinrich scholz, hermes hans, ackermann, heinrich springer
Titel des Buches: dedicated, rigo rigo, software, for his, notes and methods, börger, general analysis, borger, egon, essays analysis, edit

Daten vom Verlag:

Autor/in: Jean-Raymond Abrial; Uwe Glässer
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Rigorous Methods for Software Construction and Analysis - Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Verlag: Springer; Springer Berlin
235 Seiten
Erscheinungsjahr: 2010-01-20
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XVI, 235 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Computerprogrammierung und Softwareentwicklung; Verstehen; Informatik; Algorithms; Analysis; B-method; abstract state machines; algorithm; animation; arithmetic; compiler; concurrency models; event-based method; formal method; multi-agent systems; petri nets; pro; verification; algorithm analysis and problem complexity; Programming Techniques; Theory of Computation; Formal Languages and Automata Theory; Algorithms; Mathematics of Computing; Artificial Intelligence; Theoretische Informatik; Algorithmen und Datenstrukturen; Mathematik für Informatiker; Künstliche Intelligenz; EA

Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a la Spec#.- Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development.- Ten Reasons to Metamodel ASMs.- An ASM-Characterization of a Class of Distributed Algorithms.- Using Abstract State Machines for the Design of Multi-level Transaction Schedulers.- Validating and Animating Higher-Order Recursive Functions in B.- A Systematic Verification Approach for Mondex Electronic Purses Using ASMs.- Management of UML Clusters.- A Step towards Merging xUML and CSP B.- CoreASM Plug-In Architecture.- JASMine: Accessing Java Code from CoreASM.- A Modular Verification Methodology for C# Delegates.- On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages.- Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net.
< zum Archiv...