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ł.

Integrated Formal Methods

Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

Język AngielskiAngielski
Książka Miękka
Książka Integrated Formal Methods Michael Butler
Kod Libristo: 01564333
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maj 2002
This book constitutes the refereed proceedings of the Third International Conference on Integrated F... Cały opis
? points 125 b
218.99 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Walter Petters: Praktische Strafrechtsfalle Mit Loesungen. Teil 1 Walter Petters / Książka Twarda
common.buy 463.19 zł
Haftung Und Besteuerung Des Vermoegensberaters Werner Klumpe / Książka Miękka
common.buy 224.91 zł
Rumanische Marchen Mite Kremnitz / Książka Miękka
common.buy 98.45 zł
Özel Tüketim Vergisi Kanunu / Książka Miękka
common.buy 64.33 zł
MATÉRIAUX - Mise en forme des métaux - Plasticité, rhéologie, tribologie Felder / Książka Miękka
common.buy 209.86 zł
Divan Ahmed Akir Paa / Książka Miękka
common.buy 81.99 zł
Das Forvm Romanvm: Seine Geschichte Und Seine Denkmaler (1905) Christian Huelsen / Książka Miękka
common.buy 126.15 zł
Ciceron, Correspondance: (Mars 49 - Avril 46 Avant J.-C.) Jean Beaujeu / Książka Miękka
common.buy 259.94 zł
Mein Gestern Manfred Jurgensen / Książka Miękka
common.buy 64.43 zł
Apokalypse Adrienne von Speyr / Książka Twarda
common.buy 166.60 zł
Neocortext Vojtěch Němec / Książka Miękka
common.buy 32.21 zł
Lettres A M. Le Duc de Blacas d'Aulps Relatives Au Musee Royal Egyptien de Turin, 2eme Lettre CHAMPOLLION-J / Książka Miękka
common.buy 77.98 zł

This book constitutes the refereed proceedings of the Third International Conference on Integrated Formal Methods, IFM 2002, held in Turku, Finland, in May 2002.The 18 revised full papers presented together with three invited papers were carefully reviewed and selected from a total of 46 submissions. The papers are organized in topical sections on integration, simulation, and animation; from specification to verification; statcharts and B: integration and translation; model checkers and theorem provers; links between object-Z and CSP; combining graphical and formal approaches; and refinement and proof.

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 Integrated Formal Methods
Autor Michael Butler, Luigia Petre, Kaisa Sere
Język Angielski
Oprawa Książka - Miękka
Data wydania 2002
Liczba stron 401
EAN 9783540437031
ISBN 3540437037
Kod Libristo 01564333
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1280
Wymiary 155 x 235 x 23

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Uczenie maszynowe / Systemy uczące się
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
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) > Projektowanie architektury komputerowej i projektowanie logiczne
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ć

Biotechnology Fundamentals Khan / Książka Miękka
common.buy 404.87 zł
Learning Pentaho Data Integration 8 CE - Third Edition Maria Carina Roldan / Książka Miękka
common.buy 238.57 zł
Spawn: Origins Deluxe Edition 3 Brian Holguin / Książka Twarda
common.buy 318.66 zł
Sufism Alexander Knysh / Książka Miękka
common.buy 130.67 zł
Frankissstein Jeanette Winterson / Książka Miękka
common.buy 57.60 zł
Melchizedek: Unmasked Baal Kadmon / Książka Miękka
common.buy 62.92 zł
Aesop's Fables Santore Charles / Książka Twarda
common.buy 59.01 zł
Barnes' Popular History Of The United States Of America V1 (1904) Joel Dorman Steele / Książka Miękka
common.buy 142.21 zł
The Critical Care Pocket Guide Sergio Niosi / Książka Miękka
common.buy 45.16 zł
Konohana Kitan, Volume 2 Sakuya Amano / E-book Adobe ePub DRM
common.buy 32.71 zł
Destroyer of the gods Larry W. Hurtado / E-book Adobe ePub DRM
common.buy 148.23 zł
The Last Song of Penelope NORTH CLAIRE / Książka Miękka
common.buy 66.94 zł
Tales of Wedding Rings, Vol. 15 Andrew Cunningham / Książka Miękka
common.buy 51.48 zł
Crazy Sexy Diet Kris Carr / Książka Miękka
common.buy 96.84 zł
Essential David Bohm Lee Nichol / Książka Miękka
common.buy 252.82 zł
Collected Short Stories Aldous Huxley / Książka Miękka
common.buy 94.03 zł
Political Thought and the Public Sphere in Tanzania Emma Hunter / Książka Twarda
common.buy 540.07 zł
Pandora's Box Trilogy Adam Teachout / Książka Miękka
common.buy 81.99 zł
Anti-Money Laundering: What You Need to Know (Jersey fiduciary edition): A concise guide to anti-money laundering and countering the financin Susan Grossey / Książka Miękka
common.buy 35.22 zł
Dark Magic Christine Feehan / Książka Miękka
common.buy 59.01 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?