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

Recent Trends in Algebraic Development Techniques

Limba englezăengleză
Carte Carte broșată
Carte Recent Trends in Algebraic Development Techniques José Luiz Fiadeiro
Codul Libristo: 01560468
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, martie 2005
This book constitutes the thoroughly refereed postproceedings of the 17th International Workshop on... Descrierea completă
? points 161 b
325 lei
În depozitul extern în cantități mici Expediem în 12-17 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Merely Players? Jonathan Holmes / Carte broșată
common.buy 300 lei
Wie erziehe ich meinen Hund Rita Lell / Carte broșată
common.buy 122 lei
Multiphase Flow Dynamics 4 Nikolay Ivanov Kolev / Carte broșată
common.buy 1.785 lei
Verfahren zur Produktionsplanung und Produktionssteuerung in industriellen Unternehmungen. Ulrich Schwarzmaier / Carte broșată
common.buy 584 lei
Es grollten die Goetter auf Santorin Verena Appenzeller / Carte broșată
common.buy 124 lei
Offene Hochschulen Anke Hanft / Carte broșată
common.buy 164 lei
Agents and Computational Autonomy Matthias Nickles / Carte broșată
common.buy 325 lei
curând
Berlin under the New Empire 2 Volume Set Henry Vizetelly / Carte broșată
common.buy 446 lei
Biografie, Schule Und Geschlecht Davina Höblich / Carte broșată
common.buy 297 lei
Ghislaine Hector Malot / Copertă tare
common.buy 283 lei
Not for Tourists Guide to London Not For Tourists / Carte broșată
common.buy 104 lei

This book constitutes the thoroughly refereed postproceedings of the 17th International Workshop on Algebraic Development Techniques, WADT 2004, held in Barcelona, Spain in March 2004.§The 14 revised full papers presented together with an invited paper were carefully selected during two rounds of reviewing and improvement. Among the topics addressed are formal methods for system development; specification languages and methods; systems and techniques for reasoning about specifications; specification development systems; methods and techniques for concurrent, distributed, and mobile systems; and algebraic and co-algebraic foundations.

Informații despre carte

Titlu complet Recent Trends in Algebraic Development Techniques
Autor José Luiz Fiadeiro, Peter Mosses, Fernando Orejas
Limba engleză
Legare Carte - Carte broșată
Data publicării 2005
Număr pagini 280
EAN 9783540253273
ISBN 3540253270
Codul Libristo 01560468
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 900
Dimensiuni 152 x 229 x 16

Categorii

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
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