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.

Algebraic Methodology and Software Technology

11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Algebraic Methodology and Software Technology Michael Johnson
Codul Libristo: 01562279
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iunie 2006
This is the refereed proceedings of the 11th International Conference on Algebraic Methodology and S... Descrierea completă
? points 132 b
285.96 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Método TED para hablar en público JEREMY DONOVAN / Carte Carte broșată
common.buy 105.70 lei
Jean-Louis Murat - Les jours du jaguar Pierre Andrieu / Carte Carte broșată
common.buy 217.78 lei
Sweet Minis häkeln - 23 wilde Dschungeltiere Inga Borges / Carte Copertă tare
common.buy 47.95 lei
Demon slayer. Kimetsu no yaiba Koyoharu Gotouge / Carte Carte broșată
common.buy 40.86 lei
Curând
Bestiari Navarro Simon / Carte Carte broșată
common.buy 49.93 lei
Histoire Des Deux Restaurations: Jusqu'a l'Avenement de Louis-Philippe. T 7 (Ed.1860) Achille De Vaulabelle / Carte Carte broșată
common.buy 176.91 lei
Tarifvertrags- und Arbeitskampfrecht (Kollektives Arbeitsrecht) Dario Fischer / Carte Carte broșată
common.buy 50.76 lei
Migrations- und Flüchtlingspolitik der Europäischen Union Matthias Amann / Carte Carte broșată
common.buy 362.17 lei

This is the refereed proceedings of the 11th International Conference on Algebraic Methodology and Software Technology. The book collects 24 revised full papers together with 3 system demonstrations and 3 invited talks. Coverage includes current issues in formal methods related to algebraic approaches and to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, mu-calculus, state machines, rewriting, Kleene algebra, programming logic, and formal software development.

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 Algebraic Methodology and Software Technology
Autor Michael Johnson, Varmo Vene
Limba engleză
Legare Carte - Carte broșată
Data publicării 2006
Număr pagini 392
EAN 9783540356332
ISBN 3540356339
Codul Libristo 01562279
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1260
Dimensiuni 155 x 235 x 22

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

Ar putea de asemenea, să te intereseze

! 1700-1725, Etc. Mikhail Ivanovich Semevsky / Carte Carte broșată
common.buy 147.62 lei
Forbidden Stories of an Immigrant Phern H / Carte Carte broșată
common.buy 62.33 lei
Sharpening Carving Tools for Beginners: Learn to Keep Your Knives, Gouges & V-Tools in Tip-Top Shape Lora S. Irish / Carte Carte broșată
common.buy 47.11 lei
Irish Doctor in Peace and at War Patrick Taylor / Carte Carte broșată
common.buy 104.45 lei
Commonly Used Conventions in the 21st Century Audrey Grant / Carte Carte broșată
common.buy 121.34 lei
School Sermons, Preached to the Boys at Adams Academy, Quincy, Mass. William Everett / Carte Carte broșată
common.buy 150.01 lei
Rainforests Steve Parker / Carte Carte broșată
common.buy 60.56 lei
Unconditional You Ojaswi Tiwari / Carte Carte broșată
common.buy 117.28 lei
Today Janet Will Be a Princess Paula Croyle / Carte Copertă tare
common.buy 129.16 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
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?