Systems and Software Verification: Model-Checking Techniques and Tools - B. Berard - Knihy - Springer-Verlag Berlin and Heidelberg Gm - 9783642074783 - 15. decembra 2010
V prípade, že obal a názov nesedia, platí názov

B. Berard
Systems and Software Verification: Model-Checking Techniques and Tools Softcover reprint of hardcover 1st ed. 2001 edition

Cena
€ 140,49

Objednané zo vzdialeného skladu

Očakávané doručenie 8. - 16. jún

Naši zákazníci hovoria:

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa
Najvyššie hodnotenie na Trustpilot
Pridať do vášho zoznamu prianí na iMusic

Tiež dostupné ako:

Model checking is a powerful approach for the formal verification of software. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms.

202 pages, 4 black & white illustrations, biography

Médium Knihy     Paperback Book   (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané 15. decembra 2010
ISBN13 9783642074783
Vydavatelia Springer-Verlag Berlin and Heidelberg Gm
Strany 190
Rozmery 233 × 157 × 18 mm   ·   328 g
Jazyk Nemčina  
Prekladateľ McKenzie, P.

Mere med samme udgiver

Pozrieť všetko od B. Berard ( napr. Hardcover Book a Paperback Book )