Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science

J C Bradfield

Hinta

Kč 1.312

Tilattu etävarastosta

Arvioitu toimitus ti - ke 8. - 16. heinä

Asiakkaamme sanovat:

Lisää iMusic-toivelistallesi

Eller

116 pages, black & white illustrations, bibliography

Media	Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä	lauantai 25. helmikuuta 2012
ISBN13	9781468468212
Tuottaja	Birkhauser
Sivujen määrä	116
Mitta	156 × 234 × 7 mm · 185 g
Kieli	English