Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings - libro nuevo
2009, ISBN: 3642045693
2009 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Methode (allgemein), Compiler und Übersetzer, Software Engineering, Theoretische Informatik, Java; Li… Más…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Gastos de envío:Sans frais d'envoi en Allemagne. (EUR 0.00) Details... |
2009, ISBN: 9783642045691
*Formal Methods for Industrial Critical Systems* - 14th International Workshop FMICS 2009 Eindhoven The Netherlands November 2-3 2009 Proceedings. Auflage 2009 / Taschenbuch für 53.49 € /… Más…
Hugendubel.de Gastos de envío:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings - libro usado
2009, ISBN: 9783642045691
[PU: Springer Berlin], Neubindung 5946508/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2009, Banküberweisung, Kreditkarte, PayPal, Klarna-Sofortüberweisung, Expédition i… Más…
booklooker.de |
Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings - libro usado
2009, ISBN: 9783642045691
[PU: Springer Berlin], Neubindung 5946508/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2009, Banküberweisung, Kreditkarte, PayPal, Klarna-Sofortüberweisung, Internationa… Más…
booklooker.de |
2009, ISBN: 9783642045691
Pasta blanda
14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2009
lehmanns.de Gastos de envío:Versand in 10-14 Tagen. (EUR 0.00) Details... |
Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings - libro nuevo
2009, ISBN: 3642045693
2009 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Methode (allgemein), Compiler und Übersetzer, Software Engineering, Theoretische Informatik, Java; Li… Más…
2009, ISBN: 9783642045691
*Formal Methods for Industrial Critical Systems* - 14th International Workshop FMICS 2009 Eindhoven The Netherlands November 2-3 2009 Proceedings. Auflage 2009 / Taschenbuch für 53.49 € /… Más…
Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings - libro usado
2009
ISBN: 9783642045691
[PU: Springer Berlin], Neubindung 5946508/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2009, Banküberweisung, Kreditkarte, PayPal, Klarna-Sofortüberweisung, Expédition i… Más…
Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings - libro usado
2009, ISBN: 9783642045691
[PU: Springer Berlin], Neubindung 5946508/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2009, Banküberweisung, Kreditkarte, PayPal, Klarna-Sofortüberweisung, Internationa… Más…
2009, ISBN: 9783642045691
Pasta blanda
14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2009
Datos bibliográficos del mejor libro coincidente
Autor: | |
Título: | |
ISBN: |
Detalles del libro - Formal Methods for Industrial Critical Systems
EAN (ISBN-13): 9783642045691
ISBN (ISBN-10): 3642045693
Tapa dura
Tapa blanda
Año de publicación: 2009
Editorial: Springer Berlin Heidelberg
212 Páginas
Peso: 0,356 kg
Idioma: eng/Englisch
Libro en la base de datos desde 2009-09-28T07:18:53-05:00 (Mexico City)
Página de detalles modificada por última vez el 2023-11-28T20:07:56-06:00 (Mexico City)
ISBN/EAN: 3642045693
ISBN - escritura alterna:
3-642-04569-3, 978-3-642-04569-1
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: joubert, byron, christophe, cook, mara, christophé, christo
Título del libro: systems software engineering, eindhoven, notes, the workshop book, november, joubert, proceedings international workshop
Datos del la editorial
Autor: María Alpuente; Byron Cook; Christophe Joubert
Título: Lecture Notes in Computer Science; Programming and Software Engineering; Formal Methods for Industrial Critical Systems - 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings
Editorial: Springer; Springer Berlin
213 Páginas
Año de publicación: 2009-10-26
Berlin; Heidelberg; DE
Impreso en
Peso: 0,454 kg
Idioma: Inglés
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
X, 213 p.
BC; Software Engineering/Programming and Operating Systems; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Java; Linux; Simulation; automation; avionics; case study; compositional modeling; concurrency; constraints; distributed verification; formal methods; formal specification; modeling; testing; verification; 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; Theoretische Informatik; Compiler und Übersetzer; Wissensbasierte Systeme, Expertensysteme; EA
Invited Papers.- Attacking Large Industrial Code with Bi-abductive Inference.- On a Uniform Framework for the Definition of Stochastic Process Languages.- Applying a Formal Method in Industry: A 15-Year Trajectory.- What’s in Common between Test, Model Checking, and Decision Procedures?.- Contributed Papers.- Verifying Cryptographic Software Correctness with Respect to Reference Implementations.- Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software.- Dynamic State Space Partitioning for External Memory Model Checking.- Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle.- Modeling Concurrent Systems with Shared Resources.- Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs.- Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models.- Preemption Abstraction.- A Rigorous Methodology for Composing Services.- A Certified Implementation on Top of the Java Virtual Machine.- Selected Posters.- Formal Development for Railway Signaling Using Commercial Tools.- Integrated Formal Approach for Qualified Critical Embedded Code Generator.- Visualising Event-B Models with B-Motion Studio.- Behavioural Analysis of an I2C Linux Driver.- Model-Based Testing of Electronic Passports.- Developing a Decision Support Tool for Dam Management with SPIN.Más, otros libros, que pueden ser muy parecidos a este:
Último libro similar:
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)
< para archivar...