379:-
Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.
Andra format:
- Inbunden 469:-
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: Pocket/Paperback
- ISBN: 9781567500349
- Språk: Engelska
- Antal sidor: 200
- Utgivningsdatum: 1995-05-01
- Förlag: Intellect