. .
Deutsch
Deutschland
Ähnliche Bücher
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Get it on iTunesJetzt bei Google Play
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 77,08 €, größter Preis: 80,24 €, Mittelwert: 79,61 €
Model Checking Software - Klaus Havelund
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Klaus Havelund:

Model Checking Software - Taschenbuch

2008, ISBN: 9783540851134

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This volume contains the proceedings of the 15th International SPIN Workshop on Model Checking of Software (SPIN 2008), which took place at the University of California, Los Angeles, August 10 12, 2008. The SPIN workshops form a forum for researchers and practitioners interested in model checking techniques for the veri cation and validation of software systems. Model checking is the process of checking whether a given structure is a model of a given logical f- mula.The structure normallyrepresents a setof tasks executing in parallelin an interleaved fashion, resulting in a non-deterministic set of executions. The main focusoftheworkshopseriesissoftwaresystems,including models andprograms. Subjects of interest include theoretical and algorithmic foundations as well as toolsfor softwaremodel checking.The workshopin additionaimsto foster int- actions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing. There were 41 submissions, including 38 full papers and 3 tool papers. Each submissionwasreviewedbyatleastthreeProgrammeCommitteemembers.The committee decided to accept 18 papers, including 17 regular papers and 1 tool paper. The programme also included ve invited talks (in alphabetical order): Matthew Dwyer (University of Nebraska) Residual Checking of Safety Pr- erties , Daniel Jackson (MIT) Patterns of Software Modelling: From Classic To Funky , Shaz Qadeer (Microsoft Research) The Case for Context-Bounded Veri cation of Concurrent Programs , Wolfram Schulte (Microsoft Research) Using Dynamic Symbolic Execution to Improve Deductive Veri cation , and Yannis Smaragdakis (University of Oregon) Combining Static and Dynamic Reasoning for the Discovery of Program Properties . -, [SC: 8.50], Neuware, gewerbliches Angebot, 241x156x28 mm, [GW: 545g]

Neues Buch Booklooker.de
Grünesbuch.de
Versandkosten:Versand nach Österreich (EUR 8.50)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Model Checking Software - Klaus Havelund
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)

Klaus Havelund:

Model Checking Software - Taschenbuch

2008, ISBN: 9783540851134

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This volume contains the proceedings of the 15th International SPIN Workshop on Model Checking of Software (SPIN 2008), which took place at the University of California, Los Angeles, August 10 12, 2008. The SPIN workshops form a forum for researchers and practitioners interested in model checking techniques for the veri cation and validation of software systems. Model checking is the process of checking whether a given structure is a model of a given logical f- mula.The structure normallyrepresents a setof tasks executing in parallelin an interleaved fashion, resulting in a non-deterministic set of executions. The main focusoftheworkshopseriesissoftwaresystems,including models andprograms. Subjects of interest include theoretical and algorithmic foundations as well as toolsfor softwaremodel checking.The workshopin additionaimsto foster int- actions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing. There were 41 submissions, including 38 full papers and 3 tool papers. Each submissionwasreviewedbyatleastthreeProgrammeCommitteemembers.The committee decided to accept 18 papers, including 17 regular papers and 1 tool paper. The programme also included ve invited talks (in alphabetical order): Matthew Dwyer (University of Nebraska) Residual Checking of Safety Pr- erties , Daniel Jackson (MIT) Patterns of Software Modelling: From Classic To Funky , Shaz Qadeer (Microsoft Research) The Case for Context-Bounded Veri cation of Concurrent Programs , Wolfram Schulte (Microsoft Research) Using Dynamic Symbolic Execution to Improve Deductive Veri cation , and Yannis Smaragdakis (University of Oregon) Combining Static and Dynamic Reasoning for the Discovery of Program Properties ., [SC: 0.00], Neuware, gewerbliches Angebot, 241x156x28 mm, [GW: 545g]

Neues Buch Booklooker.de
Mein Buchshop
Versandkosten:Versandkostenfrei, Versand nach Österreich (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings - Havelund, Klaus / Majumdar, Rupak / Palsberg, Jens
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Havelund, Klaus / Majumdar, Rupak / Palsberg, Jens:
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings - gebrauchtes Buch

2008

ISBN: 9783540851134

ID: 7976639

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing. Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings Havelund, Klaus / Majumdar, Rupak / Palsberg, Jens, Springer

gebrauchtes bzw. antiquarisches Buch Betterworldbooks.com
Versandkosten: EUR 0.00
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Model Checking Software - Herausgegeben von Havelund, Klaus Majumdar, Rupak Palsberg, Jens
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Herausgegeben von Havelund, Klaus Majumdar, Rupak Palsberg, Jens:
Model Checking Software - Taschenbuch

2008, ISBN: 9783540851134

[ED: Softcover], [PU: Springer, Berlin], This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing. 2008. X, 343 S. 235 mm Sofort lieferbar, [SC: 0.00], Neuware, gewerbliches Angebot

Neues Buch Booklooker.de
buecher.de GmbH & Co. KG
Versandkosten:Free shipping (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Model Checking Software - Klaus Havelund; Rupak Majumdar; Jens Palsberg
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Klaus Havelund; Rupak Majumdar; Jens Palsberg:
Model Checking Software - Taschenbuch

2008, ISBN: 9783540851134

ID: 9410827

15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings, 2008, Softcover, Buch, [PU: Springer Berlin]

Neues Buch Lehmanns.de
Versandkosten:sofort lieferbar, , No shipping costs within Germany (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
Model Checking Software
Autor:

Klaus Havelund

Titel:

Model Checking Software

ISBN-Nummer:

3540851135

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing.

Detailangaben zum Buch - Model Checking Software


EAN (ISBN-13): 9783540851134
ISBN (ISBN-10): 3540851135
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2008
Herausgeber: Springer-Verlag GmbH
343 Seiten
Gewicht: 0,540 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 29.09.2008 15:50:49
Buch zuletzt gefunden am 03.03.2017 17:18:06
ISBN/EAN: 3540851135

ISBN - alternative Schreibweisen:
3-540-85113-5, 978-3-540-85113-4

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher