EUR 48,61
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
EUR 77,23
Convertire valutaQuantità: 15 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
EUR 68,21
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: New.
EUR 76,84
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. KlappentextrnrnAgda is an advanced programming language based on Type Theory. Agda s type system is expressive enough to support full functional verification of programs, in two styles. In external verification, we write pure functional programs.
EUR 75,97
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
EUR 77,21
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: New.
EUR 87,44
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 93,82
Convertire valutaQuantità: 15 disponibili
Aggiungi al carrelloHRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
EUR 83,22
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Editore: Morgan & Claypool Publishers, 2016
ISBN 10: 1970001240 ISBN 13: 9781970001242
Lingua: Inglese
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 98,65
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: New.
EUR 36,76
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrellohardcover. Condizione: Very Good. Fast Shipping - Safe and Secure 7 days a week!
EUR 95,09
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Provides a systematic exposition of external and internal verification in Agda, suitable for undergraduate students of Computer Science. The book begins with an introduction to functional programming. More advanced material on type-level computation, explic.
Editore: Morgan & Claypool Publishers, 2016
ISBN 10: 1970001240 ISBN 13: 9781970001242
Lingua: Inglese
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
EUR 96,09
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloPaperback / softback. Condizione: New. New copy - Usually dispatched within 4 working days. 540.
EUR 97,61
Convertire valutaQuantità: 3 disponibili
Aggiungi al carrelloCondizione: New. pp. 284.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 99,33
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Textbooks_Source, Columbia, MO, U.S.A.
Prima edizione
EUR 47,40
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: Good. 1st Edition. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
EUR 48,46
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Fair. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
EUR 109,78
Convertire valutaQuantità: 3 disponibili
Aggiungi al carrelloCondizione: New. pp. 284.
Editore: Morgan & Claypool Publishers, 2016
ISBN 10: 1970001240 ISBN 13: 9781970001242
Lingua: Inglese
Da: Kennys Bookstore, Olney, MD, U.S.A.
EUR 122,46
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: New.
EUR 106,55
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 114,83
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 283 pages. 9.25x7.50x0.90 inches. In Stock.
Editore: Morgan & Claypool Publishers, 2016
ISBN 10: 1970001275 ISBN 13: 9781970001273
Lingua: Inglese
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
EUR 117,05
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: New. New copy - Usually dispatched within 4 working days. 633.
EUR 119,66
Convertire valutaQuantità: 3 disponibili
Aggiungi al carrelloCondizione: New. pp. 284.
EUR 112,70
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 116,42
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
Da: Textbooks_Source, Columbia, MO, U.S.A.
Prima edizione
EUR 68,47
Convertire valutaQuantità: 8 disponibili
Aggiungi al carrellopaperback. Condizione: New. 1st Edition. Ships in a BOX from Central Missouri! UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
EUR 132,45
Convertire valutaQuantità: 3 disponibili
Aggiungi al carrelloCondizione: New. pp. 284.
EUR 76,95
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 134,76
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Editore: Morgan & Claypool Publishers, 2016
ISBN 10: 1970001275 ISBN 13: 9781970001273
Lingua: Inglese
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 154,12
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. 2016. hardcover. . . . . .