Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Algebraic Methodology and Software Technology

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

Język AngielskiAngielski
Książka Miękka
Książka Algebraic Methodology and Software Technology Maurice Nivat
Kod Libristo: 05274595
Wydawnictwo Springer, Berlin, listopad 1995
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Meth... Cały opis
? points 249 b
436.59 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Lilith, la lune noire - Oracle de l'alchimie cosmique Adama Sesay / Książka Twarda
common.buy 131.07 zł
Toisilleen luodut Ranta / Audiobook MP3
common.buy 30.30 zł
CIA Tim Weiner / Książka Miękka
common.buy 68.84 zł
TOP
Návštěva na Godenholmu Ernst Jünger / Książka Miękka
common.buy 42.35 zł
TOP
Nevera Juliet Rosenfeld / Książka Miękka
common.buy 77.57 zł
English Folk Tales of Coast and Sea Lisa Schneidau / Książka Twarda
common.buy 67.94 zł
De Thematibus Et De Administrando Imperio Immanuel Bekker / Książka Miękka
common.buy 126.15 zł
Det som inte syns Kopparklint / Audiobook MP3
common.buy 26.99 zł
Nowość
Pringel und Finn Wreaders Verlag / Książka Twarda
common.buy 65.13 zł
La Charmante librairie des amours lointaines Jenny Colgan / Książka Miękka
common.buy 56.20 zł
Wahrungskrieg IV Song Hongbing / Książka Miękka
common.buy 118.22 zł
Einsichten - Ausblicke Albert Hofmann / E-book Adobe ePub DRM
common.buy 60.41 zł
CABALLEROS DE CONQUISTA Y MUJERES DE AR ROMERO SAIZ / Książka Twarda
common.buy 108.39 zł
Au commencement du temps Bogdanov / Książka Miękka
common.buy 101.76 zł
L'Idiot de la famille Sartre / Książka Twarda
common.buy 302.70 zł
Vier Stern Stunden Daniel Glattauer / Książka Twarda
common.buy 57.60 zł
Koerper trifft Seele Viktoria Georgi / Książka Miękka
common.buy 55.69 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Algebraic Methodology and Software Technology
Autor Maurice Nivat, Martin Wirsing
Język Angielski
Oprawa Książka - Miękka
Data wydania 1996
Liczba stron 647
EAN 9783540614630
ISBN 354061463X
Kod Libristo 05274595
Wydawnictwo Springer, Berlin
Waga 850
Wymiary 156 x 234 x 33

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Systemy ekspertowe / Systemy oparte na wiedzy
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Analiza systemowa i projektowanie
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Abdominal and Pelvic Imaging Cases Mukesh G. Harisinghani / Książka Twarda
common.buy 554.82 zł
Computational Mechanics 95, 4 S.N. Atluri / Książka Miękka
common.buy 436.59 zł
The Cavalier George Washington Cable / Książka Miękka
common.buy 34.31 zł
TOP Zapowiedź
Cruel Crown Victoria Aveyard / Książka Miękka
common.buy 33.41 zł
Zapowiedź
Attack On Titan: Colossal Edition 3 Hajime Isayama / Książka Miękka
common.buy 146.63 zł
Radical Traditions in Education in the 21st Century Ken Jones / Książka Miękka
common.buy 187.08 zł
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 / Książka Miękka
common.buy 154.56 zł
Most Way Home Kevin Young / Książka Miękka
common.buy 62.72 zł
Great Antonio Elise Gravel / Książka Twarda
common.buy 47.16 zł
10 Financial Mistakes You Should Avoid Stephen S. K. Ng / Książka Miękka
common.buy 75.47 zł
Eagle Visions Cindi Clarke Summerlin / Książka Miękka
common.buy 40.14 zł
The Nigger from The Black Lagoon Shane Williams / Książka Twarda
common.buy 90.22 zł
Introduction to Statistics and Research Methods: Pearson New International Edition Stephen Davis / Książka Miękka
common.buy 443.92 zł
Extracted Clover Autrey / Książka Miękka
common.buy 43.75 zł
Collins Birds of the World Norman Arlott / Książka Twarda
common.buy 333.21 zł
Energy for Propulsion Akshai K. Runchal / Książka Miękka
common.buy 469.71 zł
History Of The Catholic Church V2: For Use In Seminaries And Colleges (1885) Heinrich Brueck / Książka Miękka
common.buy 166.20 zł
Cambridge Illustrated History of Warfare Geoffrey Parker / Książka Miękka
common.buy 203.94 zł
Encyclopaedia of Echinodermata Volume-3 (Phylum Echinodermata) Rajiv Tyagi / E-book Adobe ePub DRM
common.buy 835.15 zł
Thoughts to Reflect On Robert Burns / Książka Twarda
common.buy 107.08 zł
Beginning Biblical Hebrew Robert D. Sacks / Książka Miękka
common.buy 70.95 zł
Isotopes in the Water Cycle Pradeep K. Aggarwal / Książka Miękka
common.buy 485.47 zł
VISIONS LEVEL C-CHICAGO CLASSSET MCCLOSKEY / Książka Książka
common.buy 13 074.82 zł
After the Ice Steven Mithen / Książka Miękka
common.buy 76.77 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?