Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers (Lecture Notes in Computer Science, 2646)

Full Title:	Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers (Lecture Notes in Computer Science, 2646)
ISBN:	354014031X
ISBN13:	9783540140313
List Price:	USD $79.95
Publisher:	Random Publisher
Edition:	1st
Publish Date:	2020
Binding:	Hardcover
Pages:	300 pages
Synopsis:	Lorem ipsum dolor sit amet...
Language:	English
Dimensions:	Height: 8 in, Length: 5 in, Width: 1 in
Weight:	1 lb
Subjects:	Random Subject

Need full data? Sign up and get access to the full database of over 35 million books.

Get access to ISBNdb book data API

Access ISBNdb extensive book database via API. Over 39 million books & 19 data items per book to enhance your project. Subscription plans start at $14.95/mo. Free 7-day trial.

Related ISBNs