Ezio Bartocci
Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings - Lecture Notes in Computer Science Ezio Bartocci 2013 edition

Name: Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings - Lecture Notes in Computer Science
Price: 63.99 EUR
Availability: OutOfStock
Author: Ezio Bartocci

Cena

€ 63,99

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

Paredzamā piegāde . gada 26. aug. - . gada 9. sept.

Saņemiet paziņojumus par jauniem Ezio Bartocci izdevumiem

Mūsu klienti saka:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings - Lecture Notes in Computer Science

Ezio Bartocci

2013 edition

This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions.

388 pages, 143 black & white illustrations, biography

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	2013. gada 19. jūlijs
ISBN13	9783642391750
Izdevēji	Springer-Verlag Berlin and Heidelberg Gm
Lapas	377
Izmēri	155 × 235 × 20 mm · 593 g
Valoda	Franču
Redaktors	Bartocci, Ezio
Redaktors	Ramakrishnan, C. R.