Model Checking Software: 8th International Spin Workshop, Toronto, Canada, May 19-20, 2001 - Proceedings - Lecture Notes in Computer Science - Matthew Dwyer - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783540421245 - 2. mai 2001
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Matthew Dwyer
Model Checking Software: 8th International Spin Workshop, Toronto, Canada, May 19-20, 2001 - Proceedings - Lecture Notes in Computer Science

Pris
NOK 519

Bestillingsvarer

Forventes levert 21. - 29. okt
Få varsel om nye utgivelser fra Matthew Dwyer

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Ikke vurdert ennå

This work constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.

328 pages, biography

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 2. mai 2001
ISBN13 9783540421245
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 328
Mål 156 × 234 × 17 mm   ·   467 g
Språk Tysk  
Redaktør Dwyer, Matthew B.

Mer fra samme **utgiver**

Se alt med Matthew Dwyer