469:-
Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.
This volume provides a detailed comparison and study of the various methods for reasoning about software. The material offers a comprehensive understanding of which program structures are easier to manipulate by formal techniques.
- Format: Inbunden
- ISBN: 9781567500332
- Antal sidor: 200
- Utgivningsdatum: 1995-05-01
- Förlag: Intellect