Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Types for Proofs and Programs

International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003. Revised Selected Papers

Limba englezăengleză
Carte Carte broșată
Carte Types for Proofs and Programs Stefano Berardi
Codul Libristo: 01559460
Editura Springer, Berlin, noiembrie 2003
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop o... Descrierea completă
? points 132 b
286.02 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Vinda do Kaiser H H Munro (Saki) / Carte Carte broșată
common.buy 57.13 lei
Śmierć w rodzinie. Trudne sprawy. Przygody Fenka Dominika Gałka / Carte Carte broșată
common.buy 21.26 lei
Midnight Scandal Sex Neneko Narazaki / Carte Carte broșată
common.buy 44.52 lei

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop of the Types Working Group, TYPES 2003, held in Torino, Italy in April/May 2003.The 25 revised full papers presented were carefully selected during two rounds of reviewing and improvement. All current issues in type theory and type systems and their applications to programming, systems design, and proof theory are addressed. Among the systems dealt with are Isabelle/Isar, PAF!, and Coq.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Types for Proofs and Programs
Autor Stefano Berardi, Mario Coppo, Ferruccio Damiani
Limba engleză
Legare Carte - Carte broșată
Data publicării 2004
Număr pagini 412
EAN 9783540221647
ISBN 3540221646
Codul Libristo 01559460
Editura Springer, Berlin
Greutatea 600
Dimensiuni 156 x 234 x 22

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Theories of Group Behavior Brian Mullen / Carte Copertă tare
common.buy 478.00 lei
New Canadian Realisms Roberta Barker / Carte Carte broșată
common.buy 150.05 lei
Life on the Farm - Adventure with the Cats Dovie G. Therriault -. Bruder / Carte Carte broșată
common.buy 92.28 lei
RIGBY PM PLUS Rigby / Carte Carte broșată
common.buy 423.46 lei
The Law of Nations: Investigated in a Popular Manner: Addressed to the Farmers of the United States. William J Duane / Carte Carte broșată
common.buy 87.06 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo