Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Algebraic Methodology and Software Technology

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Algebraic Methodology and Software Technology Maurice Nivat
Libristo kód: 05274595
Nakladatelství Springer, Berlin, listopad 1995
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Meth... Celý popis
? points 236 b
2 357 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Lilith, la lune noire - Oracle de l'alchimie cosmique Adama Sesay / Kniha Pevná
common.buy 748 Kč
Toisilleen luodut Ranta / Audiokniha MP3
common.buy 173 Kč
CIA Tim Weiner / Kniha Brožovaná
common.buy 370 Kč
Top
Návštěva na Godenholmu Ernst Jünger / Kniha Brožovaná
common.buy 220 Kč
Top
Nevera Juliet Rosenfeld / Kniha Brožovaná
common.buy 377 Kč
English Folk Tales of Coast and Sea Lisa Schneidau / Kniha Pevná
common.buy 362 Kč
De Thematibus Et De Administrando Imperio Immanuel Bekker / Kniha Brožovaná
common.buy 685 Kč
Det som inte syns Kopparklint / Audiokniha MP3
common.buy 154 Kč
Nové
Pringel und Finn Wreaders Verlag / Kniha Pevná
common.buy 350 Kč
La Charmante librairie des amours lointaines Jenny Colgan / Kniha Brožovaná
common.buy 321 Kč
Wahrungskrieg IV Song Hongbing / Kniha Brožovaná
common.buy 642 Kč
Einsichten - Ausblicke Albert Hofmann / E-kniha Adobe ePub DRM
common.buy 345 Kč
CABALLEROS DE CONQUISTA Y MUJERES DE AR ROMERO SAIZ / Kniha Pevná
common.buy 619 Kč
Au commencement du temps Bogdanov / Kniha Brožovaná
common.buy 581 Kč
L'Idiot de la famille Sartre / Kniha Pevná
common.buy 1 728 Kč
Vier Stern Stunden Daniel Glattauer / Kniha Pevná
common.buy 309 Kč
Koerper trifft Seele Viktoria Georgi / Kniha Brožovaná
common.buy 300 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Algebraic Methodology and Software Technology
Autor Maurice Nivat, Martin Wirsing
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1996
Počet stran 647
EAN 9783540614630
ISBN 354061463X
Libristo kód 05274595
Nakladatelství Springer, Berlin
Váha 850
Rozměry 156 x 234 x 33

Kategorie

Výpočetní a informační technologie > Informatika > Umělá inteligence > Expertní systémy/systémy založené na znalostech
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Systémová analýza a systémový design
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Abdominal and Pelvic Imaging Cases Mukesh G. Harisinghani / Kniha Pevná
common.buy 2 991 Kč
Computational Mechanics 95, 4 S.N. Atluri / Kniha Brožovaná
common.buy 2 357 Kč
The Cavalier George Washington Cable / Kniha Brožovaná
common.buy 186 Kč
Top Připravujeme
Cruel Crown Victoria Aveyard / Kniha Brožovaná
common.buy 178 Kč
Připravujeme
Attack On Titan: Colossal Edition 3 Hajime Isayama / Kniha Brožovaná
common.buy 777 Kč
Radical Traditions in Education in the 21st Century Ken Jones / Kniha Brožovaná
common.buy 1 017 Kč
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 / Kniha Brožovaná
common.buy 833 Kč
Most Way Home Kevin Young / Kniha Brožovaná
common.buy 337 Kč
Great Antonio Elise Gravel / Kniha Pevná
common.buy 252 Kč
10 Financial Mistakes You Should Avoid Stephen S. K. Ng / Kniha Brožovaná
common.buy 412 Kč
Eagle Visions Cindi Clarke Summerlin / Kniha Brožovaná
common.buy 218 Kč
The Nigger from The Black Lagoon Shane Williams / Kniha Pevná
common.buy 490 Kč
Introduction to Statistics and Research Methods: Pearson New International Edition Stephen Davis / Kniha Brožovaná
common.buy 2 415 Kč
Extracted Clover Autrey / Kniha Brožovaná
common.buy 237 Kč
Collins Birds of the World Norman Arlott / Kniha Pevná
common.buy 1 648 Kč
Energy for Propulsion Akshai K. Runchal / Kniha Brožovaná
common.buy 2 533 Kč
History Of The Catholic Church V2: For Use In Seminaries And Colleges (1885) Heinrich Brueck / Kniha Brožovaná
common.buy 903 Kč
Cambridge Illustrated History of Warfare Geoffrey Parker / Kniha Brožovaná
common.buy 1 110 Kč
Encyclopaedia of Echinodermata Volume-3 (Phylum Echinodermata) Rajiv Tyagi / E-kniha Adobe ePub DRM
common.buy 4 767 Kč
Thoughts to Reflect On Robert Burns / Kniha Pevná
common.buy 583 Kč
Beginning Biblical Hebrew Robert D. Sacks / Kniha Brožovaná
common.buy 382 Kč
Isotopes in the Water Cycle Pradeep K. Aggarwal / Kniha Brožovaná
common.buy 2 646 Kč
VISIONS LEVEL C-CHICAGO CLASSSET MCCLOSKEY / Kniha Kniha
common.buy 71 248 Kč
After the Ice Steven Mithen / Kniha Brožovaná
common.buy 380 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?