Verification of Object-Oriented Software. The KeY Approach BECKERT, Bernhard ; Hähnle, Reiner ; Schmitt, Peter H. Foreword by K. Rustan M. Leino

The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the software engineering process. Improving the software engineering process is an important, long-term goal with many steps. Two of those steps are the KeY tool and this KeY book.
Voorraad:
Nieuw
Verkrijgbaar in
Webshop
Prijs:
€ 127,00
Voorraad:
Levertijd:

Afwijkende levertijd: 23 tot 25 Dagen.

Winkelvoorraad

Het kan zijn dat er op dit moment een verkoop plaatsvindt, waardoor de actuele voorraad afwijkt. Hier kunnen geen rechten aan worden ontleend.

Reserveren

Nieuwe boeken en ramsj kunt u reserveren wanneer deze op voorraad zijn. U kunt uw reservering in de winkel ophalen. De betaalwijze kunt u aangeven bij stap 3 'Betaalwijze'

.
pro-mbooks1 : broekhuis