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

12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Algebraic Methodology and Software Technology José Meseguer
Codul Libristo: 01570336
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iulie 2008
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Met... Descrierea completă
? points 132 b
284.91 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Las memorias del Mariscal Soult Zbigniew Guscin / Carte Copertă tare
common.buy 118.30 lei
Faust I, 3 Audio-CD Johann W. von Goethe / Audio Audio CD
common.buy 75.30 lei
La responsabilidad de la sociedad dominante en los grupos internacionales de sociedades BALLESTEROS BARROS / E-book Adobe ePub DRM
common.buy 234.01 lei
Berlinische im Comic Franz Krober / Carte Carte broșată
common.buy 89.53 lei
FINTECH. Perspectivas, Regulación, Modalidades y Desafíos en Venezuela Serviliano ABACHE CARVAJAL / Carte Carte broșată
common.buy 316.28 lei
O prasátku Lojzíkovi Pavel Ondrašíkovi / Carte Copertă tare
common.buy 39.77 lei
Boxer and Brandon (Japanese Book for Kids) S.A. PUBLISHING / Carte Copertă tare
common.buy 142.71 lei
Single in the rain (Un canto a la vida en single) LOLA / Carte Carte broșată
common.buy 118.30 lei
Top Leftin
El poder del metabolismo Frank Suárez / Carte Carte broșată
common.buy 113.42 lei
Frauen aus Deutschland Achim Seiffarth / Carte Carte broșată
common.buy 56.91 lei
Dva a půl muže ve člunu Williams Nigel / Carte Copertă tare
common.buy 51.30 lei
Das Heft mit der Ente, Ausgabe für Österreich Peter Wachendorf / Carte Foaie
common.buy 18.17 lei
Capacidad de Resiliencia de los indígenas Aguajún y Wampis Edward Enrique Rojas de la Puente / Carte Carte broșată
common.buy 178.03 lei

This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008.§The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 58 submissions. Among the topics covered are all current issues in formal methods related to algebraic and logical foundations, software technology, and to programming methodology including concurrent and reactive systems, evolutionary software/adaptive systems, logic and functional programming, object paradigms, constraint programming and concurrency, program verification and transformation, programming calculi, specification languages and tools, formal specification and development case studies, logic, category theory, relation algebra, computational algebra, algebraic foundations for languages and systems, coinduction, theorem proving and logical frameworks for reasoning, logics of programs, as well as algebra and coalgebra.

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 José Meseguer, Grigore Rosu
Limba engleză
Legare Carte - Carte broșată
Data publicării 2008
Număr pagini 434
EAN 9783540799795
ISBN 3540799796
Codul Libristo 01570336
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 688
Dimensiuni 155 x 235 x 25

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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
Computing & Information Technology > Computer science > Artificial intelligence
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

Puligny-Montrachet Loftus Simon / Carte Carte broșată
common.buy 77.89 lei
Establishing Our Life in Christ Rayola Kelley / Carte Carte broșată
common.buy 106.15 lei
Civil Disobedience and Other Essays Henry David Thoreau / Carte Carte broșată
common.buy 75.30 lei
Bella Bear My Friend Sophie's Art! Osanna Kazezian Rosa / Carte Carte broșată
common.buy 86.72 lei
Introduction To C Programming Sheetal Patil / Carte Carte broșată
common.buy 178.03 lei
Alan Ball: The Man in White Boots David Tossell / Carte Carte broșată
common.buy 89.53 lei
Standing Rules and Regulations of His Majesty's Regiment of Fraser Fencible Infantry, Issued by Colonel Simon Fraser, at Tuam, 1798 MULTIPLE CONTRIBUTOR / Carte Copertă tare
common.buy 168.47 lei
Latin Phrases: Translate Latin Phrases to English Dr Leland D Benton / Carte Carte broșată
common.buy 41.54 lei
Team Oxford: The Head from a Portrait of Edward de Vere, the 17th Earl of Oxford Sam Diego / Carte Carte broșată
common.buy 42.16 lei
Addiction Medicine: A Multidisciplinary Approach Joel J. Heidelbaugh / Carte Carte broșată
common.buy 344.53 lei
American Independence And The French Revolution (1760-1801) Kenneth Bell / Carte Carte broșată
common.buy 64.91 lei
All the Summer Girls Meg Donohue / Audiobook MP3
common.buy 61.38 lei
Keep me as the apple of the eye / Materiale tipărite Note muzicale
common.buy 28.14 lei
Pain to Peace J. Young / Carte Carte broșată
common.buy 55.15 lei
Coping with the Wobbles of Life Doreen Harrison / Carte Carte broșată
common.buy 42.78 lei
Algebraic Methodology and Software Technology Michael Johnson / Carte Carte broșată
common.buy 624.88 lei
DISCOURSE IN COMMEMORATION OF THE LANDIN GEORGE HENRY MILES / Carte Copertă tare
common.buy 147.70 lei
Delivering Change Jeroen Rijke / Carte Carte broșată
common.buy 446.02 lei
Evaluating Campaign Quality L. Sandy MaiselDarrell M. WestBrett M. Clifton / Carte Copertă tare
common.buy 524.13 lei
Curând
Le Tour: A History of the Tour de France Geoffrey Wheatcroft / Carte Carte broșată
common.buy 54.52 lei
Harold Wilson Ben Pimlott / Carte Carte broșată
common.buy 118.51 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?