2006, ISBN: 9783642114472
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 … Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
Rigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday - neues Buch
ISBN: 9783642114472
This Festschrift volume, published in honor of Egon Borger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodol… Mehr…
hive.co.uk No. 9783642114472. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2010, ISBN: 9783642114472
This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodol… Mehr…
Thalia.de Nr. 44259158. Versandkosten:, Sofort per Download lieferbar, DE. (EUR 0.00) Details... |
2010, ISBN: 9783642114472
This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodol… Mehr…
Orellfuessli.ch Nr. 44259158. Versandkosten:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Sofort per Download lieferbar, zzgl. Versandkosten. (EUR 16.61) Details... |
2010, ISBN: 9783642114472
Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday, eBooks, eBook Download (PDF), 2010, [PU: Springer Berlin], Springer Berlin, 2010
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
2006, ISBN: 9783642114472
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 … Mehr…
James C. Moore:
Rigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday - neues BuchISBN: 9783642114472
This Festschrift volume, published in honor of Egon Borger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodol… Mehr…
2010
ISBN: 9783642114472
This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodol… Mehr…
2010, ISBN: 9783642114472
This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodol… Mehr…
2010, ISBN: 9783642114472
Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday, eBooks, eBook Download (PDF), 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): 9783642114472
ISBN (ISBN-10): 3642114474
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin
16 Seiten
Sprache: eng/Englisch
Buch in der Datenbank seit 2011-09-03T01:33:45+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-04-06T19:39:12+02:00 (Berlin)
ISBN/EAN: 3642114474
ISBN - alternative Schreibweisen:
3-642-11447-4, 978-3-642-11447-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: raymond jean, jean ray, glass, abri, raymon jean, glasser, james moore
Titel des Buches: dedicated, essays analysis
Daten vom Verlag:
Autor/in: Jean-Raymond Abrial; Uwe Glässer
Titel: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; 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-10
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XVI, 235 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Computerprogrammierung und Softwareentwicklung; Verstehen; 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; C; Programming Techniques; Theory of Computation; Formal Languages and Automata Theory; Algorithms; Mathematics of Computing; Artificial Intelligence; Computer Science; Theoretische Informatik; Algorithmen und Datenstrukturen; Mathematik für Informatiker; Künstliche Intelligenz; BC
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)
- 9783642114465 Rigorous Methods for Software Construction and Analysis (Jean-Raymond Abrial; Uwe Glässer)
< zum Archiv...