- 5 Risultati
prezzo più basso: € 37,44, prezzo più alto: € 57,63, prezzo medio: € 49,46
1
Software Verification and Analysis - Janusz Laski; William Stanley
Ordina
da lehmanns.de
€ 55,99
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Janusz Laski; William Stanley:

Software Verification and Analysis - Prima edizione

2009, ISBN: 9781848822405

An Integrated, Hands-On Approach, eBooks, eBook Download (PDF), Auflage, &quote;The situation is good, but not hopeless&quote; (Polish folk wisdom) The text is devoted to the Soft… Altro …

Costi di spedizione:Download sofort lieferbar. (EUR 0.00)
Chiudere (X)
2
Software Verification and Analysis: An Integrated, Hands-On Approach (English Edition) - Laski, Janusz, Stanley, William
Ordina
da amazon.de
€ 37,44
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

Laski, Janusz, Stanley, William:

Software Verification and Analysis: An Integrated, Hands-On Approach (English Edition) - nuovo libro

2009, ISBN: 9781848822405

Springer, Kindle Ausgabe, Auflage: 2009, 353 Seiten, Publiziert: 2009-04-29T00:00:00.000Z, Produktgruppe: Digital Ebook Purchas, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, … Altro …

Costi di spedizione:Jetzt als Download verfügbar. (EUR 0.00) Amazon Media EU S.à r.l.
Chiudere (X)
3
Software Verification and Analysis: An Integrated, Hands-On Approach - Laski, Janusz, Stanley, William
Ordina
da amazon.co.uk
£ 36,58
(indicativi € 42,74)
Spedizione: € 5,231
Ordina
Dettagli del offerente
Link sponsorizzato
Laski, Janusz, Stanley, William:
Software Verification and Analysis: An Integrated, Hands-On Approach - nuovo libro

2009

ISBN: 9781848822405

Springer, Kindle Edition, Auflage: 2009, 353 Seiten, Publiziert: 2009-04-29T00:00:00.000Z, Produktgruppe: Digital Ebook Purchas, Verkaufsrang: 2121797, Functional Programming, Software De… Altro …

Costi di spedizione:Available for download now. (EUR 5.23) Amazon Media EU S.à r.l.
Chiudere (X)
4
Software Verification and Analysis : An Integrated, Hands-On Approach - Allan Casey
Ordina
da hive.co.uk
£ 49,30
(indicativi € 57,63)
Ordina
Dettagli & spedizione
Link sponsorizzato
Allan Casey:
Software Verification and Analysis : An Integrated, Hands-On Approach - nuovo libro

ISBN: 9781848822405

This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-… Altro …

No. 9781848822405. Costi di spedizione:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., Costi di spedizione aggiuntivi
Chiudere (X)
5
Software Verification and Analysis - Janusz Laski/ William Stanley
Ordina
da eBook.de
€ 53,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Janusz Laski/ William Stanley:
Software Verification and Analysis - nuovo libro

ISBN: 9781848822405

Software Verification and Analysis - An Integrated Hands-On Approach: ab 53.49 € eBooks > Sachthemen & Ratgeber > Computer & Internet Springer-Verlag GmbH eBook als pdf, Springer-Verlag GmbH

Costi di spedizione:in stock, , , DE. (EUR 0.00)
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
Software Verification and Analysis: An Integrated, Hands-On Approach (English Edition)
Autore:
Titolo:
ISBN:

9781848822405

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


EAN (ISBN-13): 9781848822405
ISBN (ISBN-10): 1848822405
Anno di pubblicazione: 2009
Editore: Springer
18 Pagine
Lingua: eng/Englisch

Libro nella banca dati dal 2010-10-23T20:24:47+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-07-15T05:29:50+02:00 (Zurich)
ISBN/EAN: 9781848822405

ISBN - Stili di scrittura alternativi:
1-84882-240-5, 978-1-84882-240-5
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : jan laski, william stanley, lask
Titolo del libro: software

Dati dell'editore

Autore: Janusz Laski
Titolo: Software Verification and Analysis - An Integrated, Hands-On Approach
Editore: Springer; Springer London
234 Pagine
Anno di pubblicazione: 2009-04-29
London; GB
Stampato / Fatto in
Lingua: Inglese
84,99 € (DE)

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; Debugging; Program dependencies; Program proving; Software verification; Static analysis; software; testing; verification; B; Software Engineering/Programming and Operating Systems; Software Engineering; Programming Techniques; Software Engineering; Programming Techniques; Computer Science; Computerprogrammierung und Softwareentwicklung; BB

The Semantic Analysis.- Why Not Write Correct Software the First Time?.- How to Prove a Program Correct: Programs Without Loops.- How to Prove a Program Correct: Iterative Programs.- Prepare Test for Any Implementation: Black-Box Testing.- Static Analysis.- Intermediate Program Representation.- Program Dependencies.- What Can One Tell About a Program Without Its Execution: Static Analysis.- Dynamic Analysis.- Is There a Bug in the Program? Structural Program Testing.- Dynamic Program Analysis.
< Per archiviare...