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

5th International Conference, AMAST '96, Munich, Germany, July 1996, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Algebraic Methodology and Software Technology Maurice Nivat
Codul Libristo: 05274595
Editura Springer, Berlin, noiembrie 1995
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Meth... Descrierea completă
? points 263 b
569.38 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Lilith, la lune noire - Oracle de l'alchimie cosmique Adama Sesay / Carte Copertă tare
common.buy 162.14 lei
Toisilleen luodut Ranta / Audiobook MP3
common.buy 37.46 lei
Curând
CIA Tim Weiner / Carte Carte broșată
common.buy 90.12 lei
Návštěva na Godenholmu Ernst Jünger / Carte Carte broșată
common.buy 52.44 lei
Top
Nevera Juliet Rosenfeld / Carte Carte broșată
common.buy 96.05 lei
English Folk Tales of Coast and Sea Lisa Schneidau / Carte Copertă tare
common.buy 89.70 lei
De Thematibus Et De Administrando Imperio Immanuel Bekker / Carte Carte broșată
common.buy 163.60 lei
Det som inte syns Kopparklint / Audiobook MP3
common.buy 33.40 lei
Nou
Pringel und Finn Wreaders Verlag / Carte Copertă tare
common.buy 85.33 lei
La Charmante librairie des amours lointaines Jenny Colgan / Carte Carte broșată
common.buy 69.51 lei
Wahrungskrieg IV Song Hongbing / Carte Carte broșată
common.buy 153.19 lei
Einsichten - Ausblicke Albert Hofmann / E-book Adobe ePub DRM
common.buy 74.72 lei
CABALLEROS DE CONQUISTA Y MUJERES DE AR ROMERO SAIZ / Carte Copertă tare
common.buy 141.74 lei
Au commencement du temps Bogdanov / Carte Carte broșată
common.buy 125.92 lei
L'Idiot de la famille Sartre / Carte Copertă tare
common.buy 374.55 lei
Vier Stern Stunden Daniel Glattauer / Carte Copertă tare
common.buy 83.66 lei
Koerper trifft Seele Viktoria Georgi / Carte Carte broșată
common.buy 73.05 lei

This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996.The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited presentations of the AMAST Education Day on industrial applications of formal methods. The full papers are organized in topical sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and algebraic and logical foundations.

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 Maurice Nivat, Martin Wirsing
Limba engleză
Legare Carte - Carte broșată
Data publicării 1996
Număr pagini 647
EAN 9783540614630
ISBN 354061463X
Codul Libristo 05274595
Editura Springer, Berlin
Greutatea 850
Dimensiuni 156 x 234 x 33

Categorii

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
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

Abdominal and Pelvic Imaging Cases Mukesh G. Harisinghani / Carte Copertă tare
common.buy 724.35 lei
Computational Mechanics 95, 4 S.N. Atluri / Carte Carte broșată
common.buy 569.38 lei
The Cavalier George Washington Cable / Carte Carte broșată
common.buy 44.64 lei
Top Curând
Cruel Crown Victoria Aveyard / Carte Carte broșată
common.buy 44.43 lei
Curând
Attack On Titan: Colossal Edition 3 Hajime Isayama / Carte Carte broșată
common.buy 194.19 lei
Radical Traditions in Education in the 21st Century Ken Jones / Carte Carte broșată
common.buy 242.28 lei
North Carolina Grade 6 Mathematics Success Strategies Study Guide: North Carolina Eog Test Review for the North Carolina End-Of-Grade Tests North Carolina Eog Exam Secrets Test Pre / Carte Carte broșată
common.buy 201.79 lei
Most Way Home Kevin Young / Carte Carte broșată
common.buy 81.90 lei
Great Antonio Elise Gravel / Carte Copertă tare
common.buy 58.27 lei
10 Financial Mistakes You Should Avoid Stephen S. K. Ng / Carte Carte broșată
common.buy 97.30 lei
Eagle Visions Cindi Clarke Summerlin / Carte Carte broșată
common.buy 52.23 lei
The Nigger from The Black Lagoon Shane Williams / Carte Copertă tare
common.buy 117.07 lei
Introduction to Statistics and Research Methods: Pearson New International Edition Stephen Davis / Carte Carte broșată
common.buy 574.79 lei
Extracted Clover Autrey / Carte Carte broșată
common.buy 57.02 lei
Collins Birds of the World Norman Arlott / Carte Copertă tare
common.buy 439.71 lei
Energy for Propulsion Akshai K. Runchal / Carte Carte broșată
common.buy 613.09 lei
History Of The Catholic Church V2: For Use In Seminaries And Colleges (1885) Heinrich Brueck / Carte Carte broșată
common.buy 215.63 lei
Cambridge Illustrated History of Warfare Geoffrey Parker / Carte Carte broșată
common.buy 263.92 lei
Encyclopaedia of Echinodermata Volume-3 (Phylum Echinodermata) Rajiv Tyagi / E-book Adobe ePub DRM
common.buy 1 033.14 lei
Thoughts to Reflect On Robert Burns / Carte Copertă tare
common.buy 138.72 lei
Beginning Biblical Hebrew Robert D. Sacks / Carte Carte broșată
common.buy 92.51 lei
Isotopes in the Water Cycle Pradeep K. Aggarwal / Carte Carte broșată
common.buy 600.60 lei
VISIONS LEVEL C-CHICAGO CLASSSET MCCLOSKEY / Carte Carte
common.buy 16 908.05 lei
After the Ice Steven Mithen / Carte Carte broșată
common.buy 101.25 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?