- 5 resultaten
laagste prijs: € 37,44, hoogste prijs: € 57,63, gemiddelde prijs: € 49,46
1
Software Verification and Analysis - Janusz Laski; William Stanley
bestellen
bij lehmanns.de
€ 55,99
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Janusz Laski; William Stanley:

Software Verification and Analysis - eerste uitgave

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… Meer...

Verzendingskosten:Download sofort lieferbar. (EUR 0.00)
dichtslaan (X)
2
Software Verification and Analysis: An Integrated, Hands-On Approach (English Edition) - Laski, Janusz, Stanley, William
bestellen
bij amazon.de
€ 37,44
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link

Laski, Janusz, Stanley, William:

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

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, … Meer...

Verzendingskosten:Jetzt als Download verfügbar. (EUR 0.00) Amazon Media EU S.à r.l.
dichtslaan (X)
3
Software Verification and Analysis: An Integrated, Hands-On Approach - Laski, Janusz, Stanley, William
bestellen
bij amazon.co.uk
£ 36,58
(ongeveer € 42,74)
verzending: € 5,231
bestellen
Details aangeboden
Gesponsorde link
Laski, Janusz, Stanley, William:
Software Verification and Analysis: An Integrated, Hands-On Approach - nieuw boek

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… Meer...

Verzendingskosten:Available for download now. (EUR 5.23) Amazon Media EU S.à r.l.
dichtslaan (X)
4
Software Verification and Analysis : An Integrated, Hands-On Approach - Allan Casey
bestellen
bij hive.co.uk
£ 49,30
(ongeveer € 57,63)
bestellen
Details en verzending
Gesponsorde link
Allan Casey:
Software Verification and Analysis : An Integrated, Hands-On Approach - nieuw boek

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-… Meer...

No. 9781848822405. Verzendingskosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., exclusief verzendingskosten
dichtslaan (X)
5
Software Verification and Analysis - Janusz Laski/ William Stanley
bestellen
bij eBook.de
€ 53,49
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Janusz Laski/ William Stanley:
Software Verification and Analysis - nieuw boek

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

Verzendingskosten:in stock, , , DE. (EUR 0.00)
dichtslaan (X)
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Software Verification and Analysis: An Integrated, Hands-On Approach (English Edition)
auteur:
Titel:
ISBN:

1848822405

Gedetalleerde informatie over het boek. - Software Verification and Analysis: An Integrated, Hands-On Approach (English Edition)


EAN (ISBN-13): 9781848822405
ISBN (ISBN-10): 1848822405
Verschijningsjaar: 2009
Uitgever: Springer
18 Bladzijden
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2010-10-23T20:24:47+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-07-15T05:29:50+02:00 (Amsterdam)
ISBN/EAN: 1848822405

ISBN - alternatieve schrijfwijzen:
1-84882-240-5, 978-1-84882-240-5
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: jan laski, william stanley, lask
Titel van het boek: software

Gegevens van de uitgever

Auteur: Janusz Laski
Titel: Software Verification and Analysis - An Integrated, Hands-On Approach
Uitgeverij: Springer; Springer London
234 Bladzijden
Verschijningsjaar: 2009-04-29
London; GB
Gedrukt / Gemaakt in
Taal: Engels
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.
< naar Archief...