- 0 Ergebnisse
Kleinster Preis: € 41,90, größter Preis: € 95,55, Mittelwert: € 68,44
1
Bestellen
bei booklooker.de
€ 41,90
Versand: € 0,001
Bestellengesponserter Link
Kowalewski, Stefan:

Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings Stefan Kowalewski (u. a.) Taschenbuch Englisch - Taschenbuch

2010, ISBN: 9783642158971

[ED: Taschenbuch], [PU: Springer Berlin], This volume contains the papers presented at FMICS 2010, the 15th Inter- tional Workshop on Formal Methods for Industrial Critical Systems, which… Mehr…

Versandkosten:Geen verzendingskosten. (EUR 0.00) preigu
2
Formal Methods for Industrial Critical Systems by Stefan Kowalewski Paperback | Indigo Chapters
Bestellen
bei Indigo.ca
C$ 125,50
(ca. € 95,55)
Bestellengesponserter Link
Formal Methods for Industrial Critical Systems by Stefan Kowalewski Paperback | Indigo Chapters - neues Buch

2010, ISBN: 9783642158971

This volume contains the papers presented at FMICS 2010, the 15th Inter- tional Workshop on Formal Methods for Industrial Critical Systems, which was held on September 20-21, 2010, in Ant… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
3
Formal Methods for Industrial Critical Systems - Stefan Kowalewski
Bestellen
bei BookDepository.com
€ 65,99
Versand: € 0,001
Bestellengesponserter Link
Stefan Kowalewski:
Formal Methods for Industrial Critical Systems - Taschenbuch

2010

ISBN: 9783642158971

Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], Constitutes the proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems, FMI… Mehr…

Versandkosten:Versandkostenfrei. (EUR 0.00)
4
Formal Methods for Industrial Critical Systems - Stefan Kowalewski; Marco Roveri
Bestellen
bei lehmanns.de
€ 64,19
Versand: € 0,001
Bestellengesponserter Link
Stefan Kowalewski; Marco Roveri:
Formal Methods for Industrial Critical Systems - Taschenbuch

2010, ISBN: 9783642158971

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

Versandkosten:Titel z.Zt. nicht lieferbar. (EUR 0.00)
5
Formal Methods for Industrial Critical Systems Programming and Software Engineering - Stefan Kowalewski (editor), Marco Roveri (editor)
Bestellen
bei Blackwells.co.uk
£ 63,92
(ca. € 74,55)
Versand: € 7,581
Bestellengesponserter Link
Stefan Kowalewski (editor), Marco Roveri (editor):
Formal Methods for Industrial Critical Systems Programming and Software Engineering - Taschenbuch

ISBN: 9783642158971

paperback, [PU: Springer, Berlin/Heidelberg/New York, NY]

in stock. Versandkosten:Usually dispatched within 7 days. (EUR 7.58) Blackwells.co.uk

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.
Details zum Buch
Formal Methods for Industrial Critical Systems by Stefan Kowalewski Paperback | Indigo Chapters

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 by Stefan Kowalewski Paperback | Indigo Chapters


EAN (ISBN-13): 9783642158971
ISBN (ISBN-10): 3642158978
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Stefan Kowalewski
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 2022-10-09T11:19:18+02:00 (Vienna)
ISBN/EAN: 9783642158971

ISBN - alternative Schreibweisen:
3-642-15897-8, 978-3-642-15897-1


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
64,19 € (DE)
65,99 € (AT)
80,08 CHF (CH)
POD
XII, 231 p. 82 illus.

BC; Book; 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; C; Software Engineering; 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; Computer Science; 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)


< zum Archiv...