- 5 Ergebnisse
Kleinster Preis: € 53,49, größter Preis: € 72,23, Mittelwert: € 64,09
1
Formal Methods for Industrial Critical Systems - Springer
Bestellen
bei Orellfuessli.ch
CHF 81,90
(ca. € 72,23)
Versand: € 15,881
Bestellen
Details beim Anbieter
gesponserter Link
Springer:

Formal Methods for Industrial Critical Systems - neues Buch

2008, ISBN: 9783540797074

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, G… Mehr…

  - No. 44359170. Versandkosten:Zzgl. Versandkosten. (EUR 15.88)
zuklappen (X)
2
Formal Methods for Industrial Critical Systems - Stefan Leue; Pedro Merino
Bestellen
bei Springer.com
€ 59,49
Bestellen
Details und Versand
gesponserter Link

Stefan Leue; Pedro Merino:

Formal Methods for Industrial Critical Systems - neues Buch

2007, ISBN: 9783540797074

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, G… Mehr…

  - new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
3
Formal Methods for Industrial Critical Systems
Bestellen
bei eBook.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Formal Methods for Industrial Critical Systems - neues Buch

2007

ISBN: 9783540797074

Formal Methods for Industrial Critical Systems - 12th International Workshop FMICS 2007 Berlin Germany July 1-2 2007 Revised Selected Papers: ab 53.49 € eBooks > Sachthemen & Ratgeber > C… Mehr…

Versandkosten:in stock, , , DE. (EUR 0.00)
zuklappen (X)
4
Bestellen
bei lehmanns.de
€ 69,56
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Stefan Leue; Pedro Merino:
Formal Methods for Industrial Critical Systems - neues Buch

2008, ISBN: 9783540797074

12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelbe… Mehr…

Versandkosten:Download sofort lieferbar. (EUR 0.00)
zuklappen (X)
5
Bestellen
bei lehmanns.de
€ 65,68
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Stefan Leue; Pedro Merino:
Formal Methods for Industrial Critical Systems - neues Buch

2008, ISBN: 9783540797074

12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers, eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]

Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)
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:

9783540797074

Detailangaben zum Buch - Formal Methods for Industrial Critical Systems


EAN (ISBN-13): 9783540797074
Erscheinungsjahr: 2007
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2016-07-15T10:45:58+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-12-09T18:16:00+01:00 (Vienna)
ISBN/EAN: 9783540797074

ISBN - alternative Schreibweisen:
978-3-540-79707-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: leue

Daten vom Verlag:

Autor/in: Stefan Leue; Pedro Merino
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Formal Methods for Industrial Critical Systems - 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
Verlag: Springer; Springer Berlin
254 Seiten
Erscheinungsjahr: 2008-05-08
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 254 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Computer; Java; calculus; cyclic scheduling; distributed verification; embedded systems; formal method; formal specification; formal verification; microcontroller; model-based development; real-time; real-time analysis; software verifi; verification; C; Theory of Computation; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Special Purpose and Application-Based Systems; Computer Science; Software Engineering; Compiler und Übersetzer; Wissensbasierte Systeme, Expertensysteme; BC

Invited Presentations.- Verification of Embedded Software: From Mars to Actions.- Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel.- Research Papers.- Static Analysis of the Accuracy in Control Systems: Principles and Experiments.- Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code.- Checking the TWIN Elevator System by Translating Object-Z to SMV.- Introducing Time in an Industrial Application of Model-Checking.- Integration of Formal Analysis into a Model-Based Software Development Process.- Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler.- Computing Worst-Case Response Times in Real-Time Avionics Applications.- Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization.- An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications.- Model Classifications and Automated Verification.- An Approach to Formalization and Analysis of Message Passing Libraries.- Analysis of a Session-Layer Protocol in mCRL2.- Automatic Certification of Java Source Code in Rewriting Logic.- Reverse Engineered Formal Models for GUI Testing.- Automatic Interoperability Test Case Generation Based on Formal Definitions.
< zum Archiv...