- 5 Ergebnisse
Kleinster Preis: € 41,50, größter Preis: € 77,00, Mittelwert: € 53,44
1
Bestellen
bei AbeBooks.co.uk
€ 64,36
Versand: € 64,081
Bestellen
Details beim Anbieter
gesponserter Link
Stefan Kowalewski:

Formal Methods for Industrial Critical Systems (Paperback) - Taschenbuch

2010, ISBN: 3642158978

[EAN: 9783642158971], Nieuw boek, [SC: 64.08], [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin], Paperback. This volume contains the papers presented at FMICS 2010, the 1… Mehr…

NEW BOOK. Versandkosten: EUR 64.08 Grand Eagle Retail, Mason, OH, U.S.A. [50531827] [Beoordeling: 5 (van 5)]
zuklappen (X)
2
Formal Methods for Industrial Critical Systems : 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings - Stefan Kowalewski
Bestellen
bei AbeBooks.co.uk
€ 77,00
Versand: € 14,001
Bestellen
Details beim Anbieter
gesponserter Link

Stefan Kowalewski:

Formal Methods for Industrial Critical Systems : 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings - Taschenbuch

2010, ISBN: 3642158978

[EAN: 9783642158971], Nieuw boek, [SC: 14.0], [PU: Springer, Berlin, Springer Berlin Heidelberg, Springer], BPMN, CBMC, JAVA, AUTOMATED TRANSLATION, BUSINESS PROCESS MODELING, CASE STUDY,… Mehr…

NEW BOOK. Versandkosten: EUR 14.00 AHA-BUCH GmbH, Einbeck, Germany [51283250] [Beoordeling: 5 (van 5)]
zuklappen (X)
3
Bestellen
bei booklooker.de
€ 48,45
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter 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
zuklappen (X)
4
Bestellen
bei ZVAB.com
€ 46,11
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter 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)]
zuklappen (X)
5
Bestellen
bei buchfreund.de
€ 41,50
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter 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
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
Formal Methods for Industrial Critical Systems
Autor:
Titel:
ISBN-Nummer:

9783642158971


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)
Buch zuletzt gefunden am 2025-08-18T09:09:16+02: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: Programming and Software Engineering; Lecture Notes in Computer Science; 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
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 231 p. 82 illus.

BC; 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; 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.
up-to-date results fast track conference proceedings state-of-the-art report
< zum Archiv...