-
451. Specification of Software Systems
by V. S. Alagar; K. Periyasamy
eBook See More Details
2011, Springer Nature
eBook ISBN: 9780857292766
Edition: 2nd edition
Format: EPUB eBook
Digital download
$27.50
-
452. Introduction to the Theory of Programming Languages
by Gilles Dowek; Jean-Jacques Lévy
eBook See More Details
2010, Springer Nature
eBook ISBN: 9780857290755
Edition: 2011 edition
Format: EPUB eBook
Digital download
$10.50
-
453. Domains and Processes
by Klaus Keimel; Guoqiang Zhang; Ying Ming Liu
eBook See More Details
2001, Springer Nature
eBook ISBN: 9780792371434
Edition: 1st edition
Format: PDF eBook
Digital download
$29.70
-
454. Logic and Declarative Language
by M. Downward
eBook See More Details
1998, Taylor & Francis
eBook ISBN: 9780748408030
Edition: 1st edition
Format: EPUB eBook
Digital download
$31.90
-
455. Handbook of Practical Logic and Automated Reasoning
by John Harrison
eBook See More Details
2009, Cambridge University Press
eBook ISBN: 9780521899574
Edition: 1st edition
Format: EPUB eBook
Digital download
$144.00
-
456. Lambda-Calculus and Combinators
by J. Roger Hindley; Jonathan P. Seldin
eBook See More Details
2008, Cambridge University Press
eBook ISBN: 9780521898850
Edition: 2nd edition
Format: PDF eBook
Digital download
$95.00
-
457. Programming With Higher-Order Logic
by Dale Miller; Gopalan Nadathur
eBook See More Details
2012, Cambridge University Press
eBook ISBN: 9780521879408
Edition: 1st edition
Format: EPUB eBook
Digital download
$64.00
-
458. Constraint Handling Rules
by Thom Frühwirth
eBook See More Details
2009, Cambridge University Press
eBook ISBN: 9780521877763
Edition: 1st edition
Format: PDF eBook
Digital download
$57.60
|
