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…
booklooker.de buecher.de GmbH & Co. KG Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
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…
BarnesandNoble.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
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…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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…
booklooker.de |
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
lehmanns.de Versandkosten:Versand in 7-10 Tagen. (EUR 0.00) Details... |
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…
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…
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…
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…
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
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
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.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
8601423174273 (Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday) By Abrial, Jean-Raymond (Author) Paperback on (04 , 2010) (Abrial, Jean-Raymond)
- 8601423174273 (Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday) By Abrial, Jean-Raymond (Author) Paperback on (04 , 2010) (Abrial, Jean-Raymond)
- 9783642114472 Rigorous Methods for Software Construction and Analysis (Jean-Raymond Abrial; Uwe Glässer)
< zum Archiv...