Media type: Book Title: Software verification and analysis : an integrated, hands-on approach Contributor: Laski, Janusz [Author]; Stanley, William [Author] Published: London: Springer, 2009 Extent: XVIII, 224 S.; graph. Darst; 240 mm x 160 mm Language: English ISBN: 9781848822399; 1848822391 Publisher, production or purchase order numbers: Sonstige Nummer: 12074655 RVK notation: ST 233 : Programmverifikation, -qualität, -test, -bewertung Test etc. ST 230 : Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge Keywords: Software > Verifikation Origination: Footnote:
Departmental Library DrePunct – open access area Shelf-mark: ST 230 L345 Item ID: 32302502 Status: Loanable