EUR 48,08
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 76,46
Convertire valutaQuantità: 15 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
EUR 68,92
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,25
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
EUR 76,44
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: New.
EUR 86,48
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 92,89
Convertire valutaQuantità: 15 disponibili
Aggiungi al carrelloHRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
EUR 82,36
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,36
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrellohardcover. Condizione: Very Good. Fast Shipping - Safe and Secure 7 days a week!
Editore: Morgan & Claypool Publishers, 2016
ISBN 10: 1970001240 ISBN 13: 9781970001242
Lingua: Inglese
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
EUR 95,13
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloPaperback / softback. Condizione: New. New copy - Usually dispatched within 4 working days. 540.
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.
EUR 96,55
Convertire valutaQuantità: 3 disponibili
Aggiungi al carrelloCondizione: New. pp. 284.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 98,34
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Textbooks_Source, Columbia, MO, U.S.A.
Prima edizione
EUR 46,88
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 47,93
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Fair. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
EUR 108,58
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 121,12
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: New.
EUR 105,39
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 113,26
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 115,88
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: New. New copy - Usually dispatched within 4 working days. 633.
EUR 118,35
Convertire valutaQuantità: 3 disponibili
Aggiungi al carrelloCondizione: New. pp. 284.
EUR 112,33
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 115,15
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 67,72
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 131,01
Convertire valutaQuantità: 3 disponibili
Aggiungi al carrelloCondizione: New. pp. 284.
EUR 76,11
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 133,42
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. . . . . .