Detailsuche

Bosnacki / Edelkamp

Model Checking Software

14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
2007. Buch. x, 285 S.: Bibliographien. Softcover
Springer ISBN 978-3-540-73369-0
Format (B x L): 15,5 x 23,5 cm
Gewicht: 462 g
In englischer Sprache
Das Werk ist Teil der Reihen:
This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation papers and the abstracts of two invited talks. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations.

Audience

Research

Versandkostenfrei
lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht
74,89 €
inkl. MwSt.
Webcode: beck-shop.de/xyqw
Presents the refereed proceedings of the 14th International SPIN workshop on Model Checking Software Provides an excellent overview of the latest findings, technological developments, and applications in the field Features fourteen full papers, four tool presentation papers, and the abstracts of two invited talks
Herausgegeben von: link iconDragan Bosnacki und link iconStefan Edelkamp