Data & IT
Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Norman Rubin
Klotband
469:-
Uppskattad leveranstid 5-10 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Andra format:
- Pocket/Paperback 269:-
- Format: Klotband
- ISBN: 9781024204735
- Språk: Engelska
- Antal sidor: 176
- Utgivningsdatum: 2025-05-22
- Förlag: Hutson Street Press