Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Algebraic Methodology and Software Technology

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Algebraic Methodology and Software Technology Maurice Nivat
Libristo kod: 05274595
Nakladnici Springer, Berlin, studeni 1995
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Meth... Cijeli opis
? points 249 b
103.10 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Lilith, la lune noire - Oracle de l'alchimie cosmique Adama Sesay / Knjiga Tvrdi uvez
common.buy 29.56 €
Toisilleen luodut Ranta / Audio knjiga MP3
common.buy 6.78 €
CIA Tim Weiner / Knjiga Meki uvez
common.buy 16.30 €
Návštěva na Godenholmu Ernst Jünger / Knjiga Meki uvez
common.buy 9.41 €
Top
Nevera Juliet Rosenfeld / Knjiga Meki uvez
common.buy 17.31 €
English Folk Tales of Coast and Sea Lisa Schneidau / Knjiga Tvrdi uvez
common.buy 16.09 €
De Thematibus Et De Administrando Imperio Immanuel Bekker / Knjiga Meki uvez
common.buy 29.77 €
Det som inte syns Kopparklint / Audio knjiga MP3
common.buy 5.97 €
Novo
Pringel und Finn Wreaders Verlag / Knjiga Tvrdi uvez
common.buy 15.39 €
La Charmante librairie des amours lointaines Jenny Colgan / Knjiga Meki uvez
common.buy 12.65 €
Wahrungskrieg IV Song Hongbing / Knjiga Meki uvez
common.buy 27.94 €
Einsichten - Ausblicke Albert Hofmann / E-knjiga Adobe ePub DRM
common.buy 13.56 €
CABALLEROS DE CONQUISTA Y MUJERES DE AR ROMERO SAIZ / Knjiga Tvrdi uvez
common.buy 25.61 €
Au commencement du temps Bogdanov / Knjiga Meki uvez
common.buy 22.98 €
L'Idiot de la famille Sartre / Knjiga Tvrdi uvez
common.buy 68.36 €
Vier Stern Stunden Daniel Glattauer / Knjiga Tvrdi uvez
common.buy 13.56 €
Koerper trifft Seele Viktoria Georgi / Knjiga Meki uvez
common.buy 13.16 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Algebraic Methodology and Software Technology
Autor Maurice Nivat, Martin Wirsing
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1996
Broj stranica 647
EAN 9783540614630
ISBN 354061463X
Libristo kod 05274595
Nakladnici Springer, Berlin
Težina 850
Dimenzije 156 x 234 x 33

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Abdominal and Pelvic Imaging Cases Mukesh G. Harisinghani / Knjiga Tvrdi uvez
common.buy 131.05 €
Computational Mechanics 95, 4 S.N. Atluri / Knjiga Meki uvez
common.buy 103.10 €
The Cavalier George Washington Cable / Knjiga Meki uvez
common.buy 8.09 €
Top Pripremamo
Cruel Crown Victoria Aveyard / Knjiga Meki uvez
common.buy 7.89 €
Pripremamo
Attack On Titan: Colossal Edition 3 Hajime Isayama / Knjiga Meki uvez
common.buy 34.63 €
Radical Traditions in Education in the 21st Century Ken Jones / Knjiga Meki uvez
common.buy 44.15 €
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 / Knjiga Meki uvez
common.buy 36.45 €
Most Way Home Kevin Young / Knjiga Meki uvez
common.buy 14.78 €
Great Antonio Elise Gravel / Knjiga Tvrdi uvez
common.buy 10.42 €
10 Financial Mistakes You Should Avoid Stephen S. K. Ng / Knjiga Meki uvez
common.buy 17.82 €
Eagle Visions Cindi Clarke Summerlin / Knjiga Meki uvez
common.buy 9.51 €
The Nigger from The Black Lagoon Shane Williams / Knjiga Tvrdi uvez
common.buy 21.26 €
Introduction to Statistics and Research Methods: Pearson New International Edition Stephen Davis / Knjiga Meki uvez
common.buy 104.82 €
Extracted Clover Autrey / Knjiga Meki uvez
common.buy 10.32 €
Collins Birds of the World Norman Arlott / Knjiga Tvrdi uvez
common.buy 78.69 €
Energy for Propulsion Akshai K. Runchal / Knjiga Meki uvez
common.buy 110.89 €
History Of The Catholic Church V2: For Use In Seminaries And Colleges (1885) Heinrich Brueck / Knjiga Meki uvez
common.buy 39.29 €
Cambridge Illustrated History of Warfare Geoffrey Parker / Knjiga Meki uvez
common.buy 48.20 €
Encyclopaedia of Echinodermata Volume-3 (Phylum Echinodermata) Rajiv Tyagi / E-knjiga Adobe ePub DRM
common.buy 187.36 €
Thoughts to Reflect On Robert Burns / Knjiga Tvrdi uvez
common.buy 25.31 €
Beginning Biblical Hebrew Robert D. Sacks / Knjiga Meki uvez
common.buy 16.70 €
Isotopes in the Water Cycle Pradeep K. Aggarwal / Knjiga Meki uvez
common.buy 109.48 €
VISIONS LEVEL C-CHICAGO CLASSSET MCCLOSKEY / Knjiga Knjiga
common.buy 3 088.41 €
After the Ice Steven Mithen / Knjiga Meki uvez
common.buy 18.12 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?