Bokus
Yoshio Okamura, Teruo Higashino, Tomohiro Yoneda, Kedar Namjoshi - Automated Technology for Verification and Analysis, E-bok

E-bok, Engelska, 2007

Automated Technology for Verification and Analysis

Av Yoshio Okamura, Teruo Higashino, Tomohiro Yoneda, Kedar Namjoshi

732 kr

Skickas tisdag 13/10

Beskrivning
Produktinformation
  • Utgivningsdatum: 2007-11-04
  • Språk: Engelska
  • Filformat: PDF
  • Kopieringsskydd: LCP
  • ISBN: 9783540755968
  • Förlag: Springer Berlin Heidelberg
Utforska kategorier
Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.