phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Mathematics of Program Construction

Limba englezăengleză
Carte Carte broșată
Carte Mathematics of Program Construction Roland Backhouse
Codul Libristo: 01567489
Editura Springer, Berlin, noiembrie 1999
This volume constitutes the refereed proceedings of the 5th International Conference on Mathematics... Descrierea completă
? points 161 b
325 lei
În depozitul extern în cantități mici Expediem în 10-15 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Transmediality and Transculturality Nadja Gernalzick / Copertă tare
common.buy 388 lei
Einflussgroessen auf die sensomotorische Adaptation, Kognition und Propriozeption Katja Pipereit / Carte broșată
common.buy 990 lei
Jenseits der Flammen Reinhart Brandau / Carte broșată
common.buy 68 lei
Therapie der Adipositas im Kindes- und Jugendalter, m. CD-ROM Thomas Reinehr / Carte broșată
common.buy 177 lei
Interorganizational Workflow Management - Concepts, Requirements and Approaches Karin Pargfrieder / Carte broșată
common.buy 471 lei
Hybride Malls - Evolution der Einzelhandelsimmobilien Katharina Preuß / Carte broșată
common.buy 293 lei
Commentariae Annotationes In Libros Priorum Resolutivorum Aristotelis ohannes Philoponus / Copertă tare
common.buy 858 lei
Die Strafbarkeit der Abgabe eines unrichtigen Bilanzeids gemäß 331 Nr. 3a HGB. Ulrich Fleischer / Carte broșată
common.buy 426 lei
Elektronische Partizipation Frank Kuhn / Carte broșată
common.buy 354 lei

This volume constitutes the refereed proceedings of the 5th International Conference on Mathematics of Program Construction, MPC 2000, held in Ponte de Lima, Portugal, in July 2000.§The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. Also presented are three invited contributions. The papers address issues of programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics from the mathematical and logical point of view.

Informații despre carte

Titlu complet Mathematics of Program Construction
Autor Roland Backhouse, Jose Nuno Oliveira
Limba engleză
Legare Carte - Carte broșată
Data publicării 2000
Număr pagini 262
EAN 9783540677277
ISBN 3540677275
Codul Libristo 01567489
Editura Springer, Berlin
Greutatea 415
Dimensiuni 155 x 235 x 14

Categorii

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Medicine & Nursing > Medicine: general issues
Computing & Information Technology > Operating systems
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

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