- 5 Ergebnisse
Kleinster Preis: € 52,45, größter Preis: € 64,50, Mittelwert: € 58,66
1
Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15¿16, 2019, Proceedings - Fabrizio Biondi
Bestellen
bei ZVAB.com
€ 56,45
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Fabrizio Biondi:

Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15¿16, 2019, Proceedings - Taschenbuch

2019, ISBN: 3030309223

[EAN: 9783030309220], Neubuch, [SC: 0.0], [PU: Springer International Publishing], ARTIFICIALINTELLIGENCE; COMPUTERARCHITECTURE; FORMALMETHODS; MODELCHECKING; SOFTWAREENGINEERING; SOFTWAR… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
2
Model Checking Software - Biondi, Fabrizio|Given-Wilson, Thomas|Legay, Axel
Bestellen
bei AbeBooks.de
€ 55,40
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Biondi, Fabrizio|Given-Wilson, Thomas|Legay, Axel:

Model Checking Software - Taschenbuch

2019, ISBN: 3030309223

[EAN: 9783030309220], Neubuch, [PU: Springer International Publishing], ARTIFICIALINTELLIGENCE COMPUTERARCHITECTURE FORMALMETHODS MODELCHECKING SOFTWAREENGINEERING SOFTWAREEVALUATION SPEC… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]
zuklappen (X)
3
Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15¿16, 2019, Proceedings - Biondi, Fabrizio (Herausgeber); Legay, Axel (Herausgeber); Given-Wilson, Thomas (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 64,50
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Biondi, Fabrizio (Herausgeber); Legay, Axel (Herausgeber); Given-Wilson, Thomas (Herausgeber):
Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15¿16, 2019, Proceedings - neues Buch

2019

ISBN: 3030309223

1st ed. 2019 Kartoniert / Broschiert Software Engineering, Theoretische Informatik, Systemanalyse und -design, Computermodellierung und -simulation, ArtificialIntelligence; computerarch… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
4
Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15¿16, 2019, Proceedings - Biondi, Fabrizio (Herausgeber); Legay, Axel (Herausgeber); Given-Wilson, Thomas (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 64,50
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Biondi, Fabrizio (Herausgeber); Legay, Axel (Herausgeber); Given-Wilson, Thomas (Herausgeber):
Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15¿16, 2019, Proceedings - neues Buch

2019, ISBN: 3030309223

1st ed. 2019 Kartoniert / Broschiert Software Engineering, Theoretische Informatik, Systemanalyse und -design, Computermodellierung und -simulation, ArtificialIntelligence; computerarch… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
5
Model Checking Software - Biondi, Fabrizio Given-Wilson, Thomas Legay, Axel
Bestellen
bei booklooker.de
€ 52,45
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Biondi, Fabrizio Given-Wilson, Thomas Legay, Axel:
Model Checking Software - Erstausgabe

2019, ISBN: 9783030309220

Taschenbuch

[ED: Kartoniert / Broschiert], [PU: Springer International Publishing], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitu… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
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
Model Checking Software
Autor:
Titel:
ISBN-Nummer:

9783030309220

Detailangaben zum Buch - Model Checking Software


EAN (ISBN-13): 9783030309220
ISBN (ISBN-10): 3030309223
Taschenbuch
Erscheinungsjahr: 2019
Herausgeber: Springer International Publishing

Buch in der Datenbank seit 2019-11-08T18:46:02+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-04-16T22:10:56+02:00 (Berlin)
ISBN/EAN: 9783030309220

ISBN - alternative Schreibweisen:
3-030-30922-3, 978-3-030-30922-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: bion, thomas, thoma, fabrizio, given wilson
Titel des Buches: symposium, beijing

Daten vom Verlag:

Autor/in: Fabrizio Biondi; Thomas Given-Wilson; Axel Legay
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Verlag: Springer; Springer International Publishing
261 Seiten
Erscheinungsjahr: 2019-09-14
Cham; CH
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
X, 261 p. 605 illus., 41 illus. in color.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; artificial intelligence; computer architecture; formal methods; model checking; software engineering; software evaluation; specifications; verification; algorithm analysis and problem complexity; Software Engineering; Computer Science Logic and Foundations of Programming; Algorithms; Formal Languages and Automata Theory; Computer Modelling; System Performance and Evaluation; Theoretische Informatik; Algorithmen und Datenstrukturen; Computermodellierung und -simulation; Systemanalyse und -design; EA

This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019.

The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more. 

Model Verification Through Dependency Graphs.- Model Checking Branching Time Properties for Incomplete Markov Chains.- A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table.- From Dynamic State Machines to Promela.- String abstraction for model checking of C programs.- Swarm Model Checking on the GPU.- Statistical Model Checking of Complex Robotic Systems.- STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph.- Extracting Safe Thread Schedules from Incomplete Model Checking Results.- Learning Guided Enumerative Synthesis for Superoptimization.- Applying Model Checking Approach with Floating Point Arithmetic.- Conformance Testing of Schedulers for DSL-based Model Checking.- A Study of Learning Data Structure Invariants Using Off-the-shelf Tools.- VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs.


< zum Archiv...