2010, ISBN: 9783642158971
Taschenbuch
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. up-to-date resultsfast tr… Mehr…
booklooker.de |
Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings - Taschenbuch
2010, ISBN: 3642158978
[EAN: 9783642158971], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], PETRI NET,BPMN,JAVA,FORMAL SPECIFICATION,FORMAL VERIFICATION,AUTOMATED TRANSLATION,CBMC,BUSINESS PROCESS … Mehr…
ZVAB.com Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)] NOT NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings 2010 - gebrauchtes Buch
2010, ISBN: 9783642158971
2010 Neubindung, Buchrücken leicht angestoßen, Buchumschlag leicht geknickt 8751746/12 Versandkostenfreie Lieferung petri net,BPMN,Java,formal specification,formal verification,automated … Mehr…
buchfreund.de |
Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings - gebrauchtes Buch
2010, ISBN: 9783642158971
[PU: Springer Berlin], Neubindung, Buchrücken leicht angestoßen, Buchumschlag leicht geknickt 8751746/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung,… Mehr…
booklooker.de |
2010, ISBN: 9783642158971
Taschenbuch
15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
2010, ISBN: 9783642158971
Taschenbuch
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. up-to-date resultsfast tr… Mehr…
Kowalewski, Stefan und Marco Roveri:
Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings - Taschenbuch2010, ISBN: 3642158978
[EAN: 9783642158971], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], PETRI NET,BPMN,JAVA,FORMAL SPECIFICATION,FORMAL VERIFICATION,AUTOMATED TRANSLATION,CBMC,BUSINESS PROCESS … Mehr…
Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings 2010 - gebrauchtes Buch
2010
ISBN: 9783642158971
2010 Neubindung, Buchrücken leicht angestoßen, Buchumschlag leicht geknickt 8751746/12 Versandkostenfreie Lieferung petri net,BPMN,Java,formal specification,formal verification,automated … Mehr…
Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings - gebrauchtes Buch
2010, ISBN: 9783642158971
[PU: Springer Berlin], Neubindung, Buchrücken leicht angestoßen, Buchumschlag leicht geknickt 8751746/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung,… Mehr…
2010, ISBN: 9783642158971
Taschenbuch
15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Formal Methods for Industrial Critical Systems
EAN (ISBN-13): 9783642158971
ISBN (ISBN-10): 3642158978
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin
230 Seiten
Gewicht: 0,424 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2008-12-25T06:23:51+01:00 (Vienna)
Detailseite zuletzt geändert am 2023-11-18T18:22:10+01:00 (Vienna)
ISBN/EAN: 9783642158971
ISBN - alternative Schreibweisen:
3-642-15897-8, 978-3-642-15897-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: kowalewski, kowal, trondheim
Titel des Buches: belgium, antwerp six, kowalewski
Daten vom Verlag:
Autor/in: Stefan Kowalewski; Marco Roveri
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
Verlag: Springer; Springer Berlin
231 Seiten
Erscheinungsjahr: 2010-09-09
Berlin; Heidelberg; DE
Gewicht: 0,375 kg
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XII, 231 p. 82 illus.
BC; Software Engineering; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; BPMN; CBMC; Java; automated translation; business process modeling; case study; development; formal methods; formal specification; formal verification; petri net; software; software engineering; verification; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Special Purpose and Application-Based Systems; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Special Purpose and Application-Based Systems; Theoretische Informatik; Compiler und Übersetzer; Wissensbasierte Systeme, Expertensysteme; EA
The Metrô Rio ATP Case Study.- Practical Issues with Formal Specifications.- Formal Analysis of BPMN Models Using Event-B.- Developing Mode-Rich Satellite Software by Refinement in Event B.- Automatic Error Correction of Java Programs.- Range Analysis of Microcontroller Code Using Bit-Level Congruences.- An Automated Translator for Model Checking Time Constrained Workflow Systems.- Correctness of Sensor Network Applications by Software Bounded Model Checking.- Model Checking the FlexRay Physical Layer Protocol.- SMT-Based Formal Verification of a TTEthernet Synchronization Function.- Embedded Network Protocols for Mobile Devices.- A Study of Shared-Memory Mutual Exclusion Protocols Using CADP.- A Formal Model of Identity Mixer.- Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030002435 Formal Methods for Industrial Critical Systems (Falk Howar; Ji?í Barnat)
- 9783030002435 Formal Methods for Industrial Critical Systems (Falk Howar; Ji?í Barnat)
- 9781118459898 Formal Methods for Industrial Critical Systems A Survey of Applications (Gnesi, Stefania; Margaria, Tiziana)
- 9780470876183 Formal Methods for Industrial Critical Systems ? A Survey of Applications (S Gnesi)
- 9781118459867 Formal Methods for Industrial Critical Systems (Stefania Gnesi#Tiziana Margaria)
- 9781118459874 Formal Methods for Industrial Critical Systems (Stefania Gnesi/ Tiziana Margaria)
< zum Archiv...