Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings - nuovo livro
2009, ISBN: 3642045693
2009 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Methode (allgemein), Compiler und Übersetzer, Software Engineering, Theoretische Informatik, Java; Li… mais…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Custos de envio: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 € /… mais…
Hugendubel.de Custos de envio: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 - livro 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… mais…
booklooker.de |
Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings - livro 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… mais…
booklooker.de |
2009, ISBN: 9783642045691
Livro de bolso
14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2009
lehmanns.de Custos de envio: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 - nuovo livro
2009, ISBN: 3642045693
2009 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Methode (allgemein), Compiler und Übersetzer, Software Engineering, Theoretische Informatik, Java; Li… mais…
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 € /… mais…
Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings - livro 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… mais…
Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings - livro 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… mais…
2009, ISBN: 9783642045691
Livro de bolso
14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2009
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Formal Methods for Industrial Critical Systems
EAN (ISBN-13): 9783642045691
ISBN (ISBN-10): 3642045693
Livro de capa dura
Livro de bolso
Ano de publicação: 2009
Editor/Editora: Springer Berlin Heidelberg
212 Páginas
Peso: 0,356 kg
Língua: eng/Englisch
Livro na base de dados desde 2009-09-28T09:18:53-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2023-11-28T23:07:56-03:00 (Sao Paulo)
Número ISBN/EAN: 9783642045691
Número ISBN - Ortografia alternativa:
3-642-04569-3, 978-3-642-04569-1
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: joubert, byron, christophe, cook, mara, christophé, christo
Título do livro: systems software engineering, eindhoven, notes, the workshop book, november, joubert, proceedings international workshop
Dados da editora
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
Editora: Springer; Springer Berlin
213 Páginas
Ano de publicação: 2009-10-26
Berlin; Heidelberg; DE
Língua: Inglês
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 213 p.
BC; 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; 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.Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
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 arquivar...