Bol 111,- 111,- Bekijk 
Amazon.nl Bekijk prijs This volume contains the proceedings of the 12th International Conference on Computer Aided Veri?cation (CAV 2000) held in Chicago, Illinois, USA during 15-19 July 2000. The CAV conferences are devoted to the advancement of the theory and practice of formal methods for hardware and software veri?cation. The con- rence covers the spectrum from theoretical foundations to concrete applications, with an emphasis on veri?cation algorithms, methods, an...
De Computer Aided Verification is een populaire optie voor Programmeren. Esy heeft 1 prijs gevonden, de goedkoopste keuze is volgens ons Bol, maar bekijk de andere aanbieders om het zeker te weten. Links openen in een nieuwe tabblad. Bekijk hier onder de product specificaties. Meer product informatie beschikbaar bij Bol.
Computer Aided Verification is onder andere te koop bij: Bol. Esy raadt altijd aan om meerdere aanbieders te bekijken om geen last minute deals mis te lopen.
-30 % € 29,29 
€ 59,08 All the tools and skills you'll need to fully utilize the new features of VisualAge for Java, Version 3 Authored by four certified instructors who have taught VisualAge for Java to programmers around...
Naar goedkoopste shop Vergelijk meer shops 
