- 5 Ergebnisse
Kleinster Preis: € 58,35, größter Preis: € 65,76, Mittelwert: € 61,16
1
NASA Formal Methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings - Dietrich Braun
Bestellen
bei hive.co.uk
£ 50,99
(ca. € 58,35)
Bestellen
Details und Versand
gesponserter Link
Dietrich Braun:

NASA Formal Methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings - neues Buch

2012, ISBN: 9783642288913

This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012.The 36 revised regular paper… Mehr…

No. 9783642288913. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
zuklappen (X)
2
NASA Formal Methods - Alwyn Goodloe; Suzette Person
Bestellen
bei Springer.com
€ 59,49
Bestellen
Details und Versand
gesponserter Link

Alwyn Goodloe; Suzette Person:

NASA Formal Methods - neues Buch

2012, ISBN: 9783642288913

This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular pape… Mehr…

  - new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
3
NASA Formal Methods - Alwyn Goodloe; Suzette Person
Bestellen
bei Springer.com
€ 59,49
Bestellen
Details und Versand
gesponserter Link
Alwyn Goodloe; Suzette Person:
NASA Formal Methods - neues Buch

ISBN: 9783642288913

Computer Science; Software Engineering; Programming Languages, Compilers, Interpreters; Operating Systems; Logics and Meanings of Programs; Software Engineering/Programming and Operating … Mehr…

  - Versandkosten:zzgl. Versandkosten.
zuklappen (X)
4
Bestellen
bei lehmanns.de
€ 62,69
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Alwyn Goodloe; Suzette Person:
NASA Formal Methods - neues Buch

2012, ISBN: 9783642288913

4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2012

Versandkosten:Download sofort lieferbar. (EUR 0.00)
zuklappen (X)
5
Bestellen
bei lehmanns.de
€ 65,76
Versand: € 9,951
Bestellen
Details beim Anbieter
gesponserter Link
Alwyn Goodloe; Suzette Person:
NASA Formal Methods - neues Buch

2012, ISBN: 9783642288913

4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings, eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]

Versandkosten:Download sofort lieferbar, , Sans frais d'envoi en Allemagne. (EUR 9.95)
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
NASA Formal Methods
Autor:
Titel:
ISBN-Nummer:

9783642288913

Detailangaben zum Buch - NASA Formal Methods


EAN (ISBN-13): 9783642288913
Erscheinungsjahr: 2012
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2017-04-18T23:30:25+02:00 (Zurich)
Detailseite zuletzt geändert am 2022-10-10T09:24:06+02:00 (Zurich)
ISBN/EAN: 9783642288913

ISBN - alternative Schreibweisen:
978-3-642-28891-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: suzette, cat person
Titel des Buches: international

Daten vom Verlag:

Autor/in: Alwyn Goodloe; Suzette Person
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings
Verlag: Springer; Springer Berlin
466 Seiten
Erscheinungsjahr: 2012-03-30
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XII, 466 p. 79 illus.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; cyber security; formal techniques; formalism; model checking; symbolic execution; C; Software Engineering; Compilers and Interpreters; Operating Systems; Computer Science Logic and Foundations of Programming; Programming Techniques; Computer Science; Compiler und Übersetzer; Betriebssysteme; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; BC

SMT-Based Model Checking.-Verified Software Toolchain (Abstract).-Formal Verification by Abstract Interpretation.-Quantitative Timed Analysis of Interactive Markov Chains .-Lessons Learnt from the Adoption of Formal Model-Based Development .-Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines .-Inferring Definite Counterexamples through Under-Approximation .-Modifying Test Suite Composition to Enable Effective Predicate-Level Statistical Debugging.-Rigorous Polynomial Approximation Using Taylor Models in COQ.-Enhancing the Inverse Method with State Merging.-Class-Modular, Class-Escape and Points-to Analysis for Object-Oriented Languages.-Testing Static Analyzers with Randomly Generated Programs.-Compositional Verification of Architectural Models.-A Safety Case Pattern for Model-Based Development Approach.-PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL .-Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements (Preliminary Results) .-Some Steps into Verification of Exact Real Arithmetic.-Runtime Verification Meets Android Security .-Specification in PDL with Recursion.-Automatically Proving Thousands of Verification Conditions Using an SMT Solver: An Empirical Study .-Sound Formal Verification of Linux’s USB BP Keyboard Driver .-Learning Markov Models for Stationary System Behaviors .-The Use of Rippling to Automate Event-B Invariant Preservation Proofs .-Thread-Modular Model Checking with Iterative Refinement .-Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs .-Integrating Statechart Components in Polyglot .-Using PVS to Investigate Incidents through the Lens of Distributed Cognition.-Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms.-Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems.-Generating Verifiable Java Code from Verified PVSSpecifications.-Belief Bisimulation for Hidden Markov Models: Logical Characterisation and Decision Algorithm.-Abstract Model Repair .-CLSE: Closed-Loop Symbolic Execution .-On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols.-Incremental Verification with Mode Variable Invariants in State Machines .-A Semantic Analysis of Wireless Network Security Protocols.-Runtime Verification with Predictive Semantics .-A Case Study in Verification of Embedded Network Software.-Checking and Distributing Statistical Model Checking.-
Fast-track conference proceedings State-of-the-art research Up-to-date results
< zum Archiv...