Formal Methods for Industrial Critical Systems
María Alpuente, Byron Cook, Christophe Joubert
Häftad, 2009
739 kr
Del i serien Lecture Notes in Computer Science
Verification, Model Checking, and Abstract Interpretation
8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings
Häftad, Engelska, 2007
739 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007. This event was co-located with the Symposium on Principles of Programming Languages (POPL 2007). The 21 revised full papers presented together with three invited lectures and three invited tutorials were carefully reviewed and selected from a total of 85 submissions.
Produktinformation
- Utgivningsdatum2007-01-03
- Mått155 x 235 x 23 mm
- Vikt622 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor395
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783540697350
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 11028
Tools and Algorithms for the Construction and Analysis of Systems
Kurt Jensen, Andreas Podelski
Häftad, 2004
1 479 kr
Verified Software: Theories, Tools, Experiments
Rajeev Joshi, Peter Müller, Andreas Podelski
Häftad, 2012
739 kr
Del 11002
- Nyhet
Del 3
- Nyhet
Del 11
Del 1