Types for Proofs and Programs: International Workshop, TYPES ’98, Kloster Irs…
USD 57.69 USD
Specifications
| ISBN | 9783540665373 |
| Subject Area | Mathematics, Computers |
| Item Length | 9.3 in |
| Publication Year | 1999 |
| Type | Textbook |
| Format | Trade Paperback |
| Language | English |
| Author | Wolfgang Naraschewski |
| Item Weight | 24.7 Oz |
| Item Width | 6.1 in |
| Number Of Pages | VIII, 212 Pages |
You will find that this textbook uses a modular structure for flexible learning.
Related Items
Free Movement of Legal Ideas: Towards a Dynamic Europeanisation of Private Law b
Tolulope Fatola Jillian Heckman Nathaniel J. Sil The Harriet Lane Ha (Paperback)
Nos – On
Portfolio of Working Materials Individualized Instruction HC Homeschool Book 70s
The Art of Electronics Student Manual Hayes & Horowitz Cambridge Spiral Bound
OUR CHANGING PLANET: AN INTRODUCTION TO EARTH SYSTEM By Fred T. Mackenzie *VG+*
Guerilla Communism in Malaya by Lucian W. Pye (English) Paperback Book
Power System Harmonics