VBoekbestellingen gratis thuis bezorgd vanaf 15,- 

VGratis afhalen in de boekhandel

 VBinnen 14 dagen gratis retour bij ruim 100 boekhandels

Systems and Software Verification
ISBN
9783540415237
Uitgever
Springer-Verlag New York Inc
Druk vanaf
1e
Verschenen
01-01-2001
Taal
Engels
Bladzijden
190 pp.
Bindwijze
Hardcover
Genre
Informatica & Exacte vakken
  • Share
  • Share
  • Share
  • Share

Systems and Software Verification

Model-Checking Techniques and Tools

odel checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via count
€111,95
Exemplaren:
Nieuw

Prijs:
€ 111,95
Verkrijgbaar in
Centraal landelijk magazijn
Voorraad:
-
Levertijd:
Afwijkende levertijd: 4 tot 6 werkdagen.
* Voorraad uit het 'Centraal landelijk magazijn' is leverbaar vanuit een centraal logistiek centrum in Nederland, hiervandaan wordt het artikel naar de klant of de boekhandel gestuurd. De getoonde voorraad in de boekhandel wordt meerdere malen per dag bijgewerkt. Het kan echter voorkomen dat een artikel in de tussentijd uitverkocht is. Wilt u zeker weten dat een boek op voorraad is, verzoeken wij u contact op te nemen met de boekhandel.

Loading...

.
Waarom Libris
Boekbestellingen vanaf € 15,- GRATIS thuisbezorgd.
Kies uit meer dan een miljoen artikelen, waaronder ruim 25.000 Nederlandse ebooks.
Thuis bestellen en bezorgen of afhalen en betalen in de boekhandel.
Ruim 85.000 boeken op werkdagen voor 23.00 besteld, de volgende dag bezorgd
Volg uw bestelling via Track & Trace van PostNL
Bijna 100 aangesloten kwaliteitsboekhandels.
pro-mbookslibr3 : libris