Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Algebraic Methodology and Software Technology

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Algebraic Methodology and Software Technology Maurice Nivat
Koda Libristo: 05274595
Založba Springer, Berlin, november 1995
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Meth... Celoten opis
? points 252 b
104.38 €
Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 11-15 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

CIA Tim Weiner / Knjiga Mehka
common.buy 15.29 €
Top
Nevera Juliet Rosenfeld / Knjiga Mehka
common.buy 16.41 €
La Charmante librairie des amours lointaines Jenny Colgan / Knjiga Mehka
common.buy 12.15 €
Det som inte syns Kopparklint / Zvočnica MP3
common.buy 5.67 €
English Folk Tales of Coast and Sea Lisa Schneidau / Knjiga Trda
common.buy 14.99 €
Návštěva na Godenholmu Ernst Jünger / Knjiga Mehka
common.buy 8.81 €
Novo
Pringel und Finn Wreaders Verlag / Knjiga Trda
common.buy 14.48 €
Lilith, la lune noire - Oracle de l'alchimie cosmique Adama Sesay / Knjiga Trda
common.buy 28.27 €
Toisilleen luodut Ranta / Zvočnica MP3
common.buy 6.37 €
De Thematibus Et De Administrando Imperio Immanuel Bekker / Knjiga Mehka
common.buy 28.37 €
Ausreißererkennung auf der Grundlage von Clustering über erfasste Daten mit HADOOP Vaibhav Jain / Knjiga Mehka
common.buy 33.03 €
Wahrungskrieg IV Song Hongbing / Knjiga Mehka
common.buy 26.54 €
Einsichten - Ausblicke Albert Hofmann / E-knjiga Adobe ePub DRM
common.buy 12.86 €
CABALLEROS DE CONQUISTA Y MUJERES DE AR ROMERO SAIZ / Knjiga Trda
common.buy 22.79 €
Au commencement du temps Bogdanov / Knjiga Mehka
common.buy 21.98 €
L'Idiot de la famille Sartre / Knjiga Trda
common.buy 65.36 €
Vier Stern Stunden Daniel Glattauer / Knjiga Trda
common.buy 14.18 €
Koerper trifft Seele Viktoria Georgi / Knjiga Mehka
common.buy 22.69 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Algebraic Methodology and Software Technology
Avtor Maurice Nivat, Martin Wirsing
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 1996
Število strani 647
EAN 9783540614630
ISBN 354061463X
Koda Libristo 05274595
Založba Springer, Berlin
Teža 850
Mere 156 x 234 x 33

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Abdominal and Pelvic Imaging Cases Mukesh G. Harisinghani / Knjiga Trda
common.buy 140.66 €
Computational Mechanics 95, 4 S.N. Atluri / Knjiga Mehka
common.buy 102.35 €
The Cavalier George Washington Cable / Knjiga Mehka
common.buy 7.69 €
Top Kmalu
Cruel Crown Victoria Aveyard / Knjiga Mehka
common.buy 7.39 €
Top Kmalu
Attack On Titan: Colossal Edition 3 Hajime Isayama / Knjiga Mehka
common.buy 32.12 €
Radical Traditions in Education in the 21st Century Ken Jones / Knjiga Mehka
common.buy 42.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 Mehka
common.buy 34.45 €
Most Way Home Kevin Young / Knjiga Mehka
common.buy 13.98 €
Great Antonio Elise Gravel / Knjiga Trda
common.buy 9.72 €
10 Financial Mistakes You Should Avoid Stephen S. K. Ng / Knjiga Mehka
common.buy 17.02 €
Eagle Visions Cindi Clarke Summerlin / Knjiga Mehka
common.buy 9.01 €
The Nigger from The Black Lagoon Shane Williams / Knjiga Trda
common.buy 20.26 €
Introduction to Statistics and Research Methods: Pearson New International Edition Stephen Davis / Knjiga Mehka
common.buy 100.02 €
Extracted Clover Autrey / Knjiga Mehka
common.buy 9.82 €
Collins Birds of the World Norman Arlott / Knjiga Trda
common.buy 73.47 €
Energy for Propulsion Akshai K. Runchal / Knjiga Mehka
common.buy 113.70 €
History Of The Catholic Church V2: For Use In Seminaries And Colleges (1885) Heinrich Brueck / Knjiga Mehka
common.buy 37.39 €
Cambridge Illustrated History of Warfare Geoffrey Parker / Knjiga Mehka
common.buy 46.00 €
Encyclopaedia of Echinodermata Volume-3 (Phylum Echinodermata) Rajiv Tyagi / E-knjiga Adobe ePub DRM
common.buy 177.95 €
Thoughts to Reflect On Robert Burns / Knjiga Trda
common.buy 24.11 €
Where the Road Leads Sallie Smith Tribou / Knjiga Trda
common.buy 23.60 €
Isotopes in the Water Cycle Pradeep K. Aggarwal / Knjiga Mehka
common.buy 104.38 €
VISIONS LEVEL C-CHICAGO CLASSSET MCCLOSKEY / Knjiga Knjiga
common.buy 2 950.27 €
After the Ice Steven Mithen / Knjiga Mehka
common.buy 16.91 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?