- 1 Risultati
prezzo più basso: € 24,95, prezzo più alto: € 24,95, prezzo medio: € 24,95
1
Ordina
da
(indicativi € 24,95)
OrdinaLink sponsorizzato
Laski, Janusz; Stanley, William:

Software Verification and Analysis: An Integrated, Hands-On Approach - edizione con copertina flessibile

2009, ISBN: 1848822510, Lieferbar binnen 4-6 Wochen Costi di spedizione:Versandkostenfrei innerhalb der BRD

Internationaler Buchtitel. In englischer Sprache. Verlag: SPRINGER VERLAG GMBH, 244 Seiten, L=156mm, B=234mm, H=13mm, Gew.=345gr, [GR: 26330 - TB/Programmiersprachen], [SW: - Computers -… Altro …

Lieferbar binnen 4-6 Wochen (Besorgungstitel) Costi di spedizione:Versandkostenfrei innerhalb der BRD Buchgeier.com
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Autore:
Titolo:
ISBN:

1848822510


This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included.

Informazioni dettagliate del libro - Software Verification and Analysis: An Integrated, Hands-On Approach


EAN (ISBN-13): 9781848822511
ISBN (ISBN-10): 1848822510
Copertina flessibile
Anno di pubblicazione: 2009
Editore: SPRINGER VERLAG GMBH
244 Pagine
Peso: 0,345 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2010-09-17T00:23:41+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2010-09-17T00:23:41+02:00 (Zurich)
ISBN/EAN: 1848822510

ISBN - Stili di scrittura alternativi:
1-84882-251-0, 978-1-84882-251-1

< Per archiviare...