Thomas Ball
Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings - Lecture Notes in Computer Science Thomas Ball 2003 edition

Name: Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings - Lecture Notes in Computer Science
Price: 64.49 EUR
Availability: OutOfStock
Author: Thomas Ball

Cena

€ 64,49

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

Paredzamā piegāde . gada 13. - 27. aug.

Saņemiet paziņojumus par jauniem Thomas Ball 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: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings - Lecture Notes in Computer Science

Thomas Ball

2003 edition

This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop. The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions.

249 pages, biography

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	2003. gada 28. aprīlis
ISBN13	9783540401179
Izdevēji	Springer-Verlag Berlin and Heidelberg Gm
Lapas	241
Izmēri	155 × 233 × 13 mm · 385 g
Valoda	Vācu
Redaktors	Ball, Thomas
Redaktors	Rajamani, Sriram K.