Spin Model Checking and Software Verification: 7th International Spin Workshop Stanford, Ca, Usa, August 30 - September 1, 2000 Proceedings - Lecture Notes in Computer Science - K Havelund - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540410300 - 2000. gada 21. augusts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

K Havelund
Spin Model Checking and Software Verification: 7th International Spin Workshop Stanford, Ca, Usa, August 30 - September 1, 2000 Proceedings - Lecture Notes in Computer Science

Cena
€ 63,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 14. - 28. aug.
Saņemiet paziņojumus par jauniem K Havelund izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

The SPIN model checker is one of the most powerful systems of this kind and has attracted a large user community. This text is devoted to automata-based explicit-state model checking technologies for the analysis and verification of asynchronous concurrent and distributed systems.

346 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2000. gada 21. augusts
ISBN13 9783540410300
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 346
Izmēri 155 × 233 × 18 mm   ·   503 g
Valoda Vācu  
Redaktors Havelund, Klaus
Redaktors Penix, John
Redaktors Visser, Willem

Vairāk no tā paša izdevēja

Skatīt visus K Havelund ( piem., Paperback Book )