. .
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
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 80,24 €, größter Preis: 80,24 €, Mittelwert: 80,24 €
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 - 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: 6.00], Neuware, gewerbliches Angebot, 241x156x28 mm, [GW: 540g]

Neues Buch Booklooker.de
Sellonnet GmbH
Versandkosten:Versand nach Österreich (EUR 6.00)
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: 18.00]

Neues Buch Booklooker.de
Sparbuchladen
Versandkosten:Versand in die Schweiz (EUR 18.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 (Herausgeber); Majumdar, Rupak (Herausgeber); Palsberg, Jens (Herausgeber)
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Havelund, Klaus (Herausgeber); Majumdar, Rupak (Herausgeber); Palsberg, Jens (Herausgeber):
Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings - neues Buch

2008, ISBN: 3540851135

ID: A6001431

Leinen EDV / Theorie / Software-Entw. / Software Engineering, Programmiersprachen, COMPUTERS / Logic Design, COMPUTERS / Programming Languages / General, COMPUTERS / Software Development & Engineering / General, mit Schutzumschlag neu, [PU:Springer-Verlag GmbH]

Neues Buch Achtung-Buecher.de
REDIVIVUS Buchhandlung Hanausch Reinhard, 93053 Regensburg
Versandkosten:Versandkostenfrei innerhalb der BRD (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 16.08.2016 03:36:07
ISBN/EAN: 3540851135

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

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