A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Algebraic Methodology and Software Technology

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

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Algebraic Methodology and Software Technology Maurice Nivat
Libristo kód: 05274595
Kiadó Springer, Berlin, november 1995
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Meth... Teljes leírás
? points 271 b
39 822 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

CIA Tim Weiner / Könyv Puha kötésű
common.buy 6 326 Ft
Toplistás
Nevera Juliet Rosenfeld / Könyv Puha kötésű
common.buy 6 483 Ft
La Charmante librairie des amours lointaines Jenny Colgan / Könyv Puha kötésű
common.buy 4 721 Ft
Det som inte syns Kopparklint / Hangoskönyv MP3
common.buy 2 282 Ft
English Folk Tales of Coast and Sea Lisa Schneidau / Könyv Kemény kötésű
common.buy 6 089 Ft
Návštěva na Godenholmu Ernst Jünger / Könyv Puha kötésű
common.buy 3 557 Ft
Pringel und Finn Wreaders Verlag / Könyv Kemény kötésű
common.buy 5 969 Ft
Lilith, la lune noire - Oracle de l'alchimie cosmique Adama Sesay / Könyv Kemény kötésű
common.buy 11 014 Ft
Toisilleen luodut Ranta / Hangoskönyv MP3
common.buy 2 560 Ft
De Thematibus Et De Administrando Imperio Immanuel Bekker / Könyv Puha kötésű
common.buy 11 413 Ft
Ausreißererkennung auf der Grundlage von Clustering über erfasste Daten mit HADOOP Vaibhav Jain / Könyv Puha kötésű
common.buy 12 498 Ft
Wahrungskrieg IV Song Hongbing / Könyv Puha kötésű
common.buy 10 689 Ft
Einsichten - Ausblicke Albert Hofmann / E-könyv Adobe ePub DRM
common.buy 5 101 Ft
CABALLEROS DE CONQUISTA Y MUJERES DE AR ROMERO SAIZ / Könyv Kemény kötésű
common.buy 9 103 Ft
Au commencement du temps Bogdanov / Könyv Puha kötésű
common.buy 8 542 Ft
L'Idiot de la famille Sartre / Könyv Kemény kötésű
common.buy 25 441 Ft
Vier Stern Stunden Daniel Glattauer / Könyv Kemény kötésű
common.buy 5 324 Ft
Rauch, 2 DVDs Iwan S. Turgenjew / Filmek DVD
common.buy 6 868 Ft
Koerper trifft Seele Viktoria Georgi / Könyv Puha kötésű
common.buy 5 120 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Algebraic Methodology and Software Technology
Szerző Maurice Nivat, Martin Wirsing
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 1996
Oldalszám 647
EAN 9783540614630
ISBN 354061463X
Libristo kód 05274595
Kiadó Springer, Berlin
Súly 850
Méretek 156 x 234 x 33

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia > Szakértői rendszerek / tudás alapú rendszerek
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Rendszeranalízis és rendszerdizájn
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Operációs rendszerek
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Abdominal and Pelvic Imaging Cases Mukesh G. Harisinghani / Könyv Kemény kötésű
common.buy 50 693 Ft
Computational Mechanics 95, 4 S.N. Atluri / Könyv Puha kötésű
common.buy 39 822 Ft
The Cavalier George Washington Cable / Könyv Puha kötésű
common.buy 3 116 Ft
Toplistás Hamarosan
Cruel Crown Victoria Aveyard / Könyv Puha kötésű
common.buy 3 130 Ft
Toplistás
Attack On Titan: Colossal Edition 3 Hajime Isayama / Könyv Puha kötésű
common.buy 16 588 Ft
Radical Traditions in Education in the 21st Century Ken Jones / Könyv Puha kötésű
common.buy 16 899 Ft
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 / Könyv Puha kötésű
common.buy 14 117 Ft
Most Way Home Kevin Young / Könyv Puha kötésű
common.buy 5 737 Ft
Great Antonio Elise Gravel / Könyv Kemény kötésű
common.buy 4 118 Ft
10 Financial Mistakes You Should Avoid Stephen S. K. Ng / Könyv Puha kötésű
common.buy 6 766 Ft
Eagle Visions Cindi Clarke Summerlin / Könyv Puha kötésű
common.buy 3 645 Ft
The Nigger from The Black Lagoon Shane Williams / Könyv Kemény kötésű
common.buy 8 162 Ft
Introduction to Statistics and Research Methods: Pearson New International Edition Stephen Davis / Könyv Puha kötésű
common.buy 39 001 Ft
Extracted Clover Autrey / Könyv Puha kötésű
common.buy 3 970 Ft
Collins Birds of the World Norman Arlott / Könyv Kemény kötésű
common.buy 29 838 Ft
Energy for Propulsion Akshai K. Runchal / Könyv Puha kötésű
common.buy 42 925 Ft
History Of The Catholic Church V2: For Use In Seminaries And Colleges (1885) Heinrich Brueck / Könyv Puha kötésű
common.buy 15 030 Ft
Cambridge Illustrated History of Warfare Geoffrey Parker / Könyv Puha kötésű
common.buy 18 383 Ft
Encyclopaedia of Echinodermata Volume-3 (Phylum Echinodermata) Rajiv Tyagi / E-könyv Adobe ePub DRM
common.buy 70 546 Ft
Thoughts to Reflect On Robert Burns / Könyv Kemény kötésű
common.buy 9 660 Ft
Where the Road Leads Sallie Smith Tribou / Könyv Kemény kötésű
common.buy 9 456 Ft
Isotopes in the Water Cycle Pradeep K. Aggarwal / Könyv Puha kötésű
common.buy 41 867 Ft
VISIONS LEVEL C-CHICAGO CLASSSET MCCLOSKEY / Könyv Könyv
common.buy 1 177 118 Ft
Toplistás
After the Ice Steven Mithen / Könyv Puha kötésű
common.buy 6 868 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása