- 5 Ergebnisse
Kleinster Preis: € 41,50, größter Preis: € 53,49, Mittelwert: € 46,54
1
Formal Methods for Industrial Critical Systems - Kowalewski, Stefan Roveri, Marco
Bestellen
bei booklooker.de
€ 48,45
Versand: € 0,001
Bestellengesponserter Link
Kowalewski, Stefan Roveri, Marco:

Formal Methods for Industrial Critical Systems - Erstausgabe

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…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
2
Bestellen
bei ZVAB.com
€ 46,11
Versand: € 0,001
Bestellengesponserter Link

Kowalewski, Stefan und Marco Roveri:

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…

NOT NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
3
Bestellen
bei buchfreund.de
€ 41,50
Versand: € 0,001
Bestellengesponserter Link
Kowalewski, Stefan und Marco Roveri:
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…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
4
Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings - Kowalewski, Stefan und Marco Roveri
Bestellen
bei booklooker.de
€ 43,14
Versand: € 0,001
Bestellengesponserter Link
Kowalewski, Stefan und Marco Roveri:
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…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
5
Formal Methods for Industrial Critical Systems - Stefan Kowalewski; Marco Roveri
Bestellen
bei lehmanns.de
€ 53,49
Versand: € 0,001
Bestellengesponserter Link
Stefan Kowalewski; Marco Roveri:
Formal Methods for Industrial Critical Systems - Erstausgabe

2010, ISBN: 9783642158971

Taschenbuch

15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)

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
Formal Methods for Industrial Critical Systems

This book constitutes the proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2010 held in Antwerp, Belgium, in September 2010 - co-located with ASE 2010, the 25th IEEE/ACM International Conference on Automated Software Engineering, The 14 papers presented were carefully reviewed and selected from 33 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

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.

< zum Archiv...