Model Checking Software
20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
Paperback
Print on Demand | Lieferzeit: Print on Demand - Lieferbar innerhalb von 3-5 Werktagen I
60,10 €*
Alle Preise inkl. MwSt.|Versandkostenfrei
ISBN-13:
9783642391750
Veröffentl:
2013
Einband:
Paperback
Erscheinungsdatum:
19.07.2013
Seiten:
388
Autor:
C. R. Ramakrishnan
Gewicht:
587 g
Format:
235x155x21 mm
Serie:
7976, Theoretical Computer Science and General Issues
Sprache:
Englisch
Beschreibung:
Up-to-date results
Explicit-state model checking techniques.- Other related tools.- Techniques for the verification and formal testing of software systems in general.
Kunden Rezensionen
Mehr zum Thema
Folgen Sie uns auf:
