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

Formal Methods and Software Engineering

5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Formal Methods and Software Engineering Jin Song Dong
Kod Libristo: 01558768
Wydawnictwo Springer, Berlin, listopad 2002
This book constitutes the refereed proceedings of the 5th International Conference on Formal Enginee... Cały opis
? points 249 b
435.98 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Un Regalo para el Alma 3 Jose Maria Ventura / Książka Miękka
common.buy 62.63 zł
La sala de lo penal MUNILLA PETREÑAS / Książka Miękka
common.buy 58.12 zł
Soleil d'or CLERGEOT-L / Książka Miękka
common.buy 111.04 zł
Diccionario de jugadores del Real Madrid ENRIQUE MARCOS / Książka Miękka
common.buy 122.67 zł
Juwelen aus El Moryas Schatzhaus El Morya / Książka Miękka
common.buy 63.13 zł
Wittgenstein et la question du livre Guest / Książka Miękka
common.buy 133.09 zł
Mini livre à gratter - Dinosaures Duddek / Książka Miękka
common.buy 53.21 zł
Aria - Tome 40 - Carnet de voyage Weyland Michel / Książka Twarda
common.buy 84.88 zł
Wise Man's Grandchild 12 Shunsuke Ogata / Książka Miękka
common.buy 27.65 zł
Lehrergesundheit. Anleitung zur Selbst- und Fremdfürsorge Viviane Scherenberg / Książka Miękka
common.buy 30.26 zł
Jméno-objev a zmizení věci Antonín Mokrejš / Książka Miękka
common.buy 41.78 zł

This book constitutes the refereed proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003, held in Singapore in November 2003.§The 34 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on testing and validation, state diagrams, PVS/HOL, refinement, hybrid systems, Z/Object-Z, Petri nets, timed automata, system modelling and checking, and semantics and synthesis.

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 Formal Methods and Software Engineering
Autor Jin Song Dong, Jim Woodcock
Język Angielski
Oprawa Książka - Miękka
Data wydania 2003
Liczba stron 682
EAN 9783540204619
ISBN 354020461X
Kod Libristo 01558768
Wydawnictwo Springer, Berlin
Waga 966
Wymiary 155 x 235 x 35

Kategoria

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
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ć

Wall Jean Paul Sartre / Książka Miękka
common.buy 51.11 zł
William Shakespeare's the Merry Rise of Skywalker: Star Wars Part the Ninth DOESCHER IAN / Książka Twarda
common.buy 73.16 zł
BattleTech Legends Robert Thurston / Książka Miękka
common.buy 58.72 zł
The Instant Enlightenment of Ordinary People: Nichiren Buddhism 2.0 for the 21st Century Yukio Matsudo / Książka Miękka
common.buy 74.16 zł
49 DIVISION 146 Infantry Brigade Prince of Wales's Own (West Yorkshire Regiment) 1/7th Battalion Wo95/2795/1 / Książka Miękka
common.buy 102.12 zł
Bird House Libby Walden / Książka Leporelo
common.buy 50.20 zł
The Higher Power of Lucky Susan Patron / Książka Miękka
common.buy 29.56 zł
Women and Leadership Around the World Cynthia Cherrey / Książka Miękka
common.buy 262.38 zł
Learner-Centered Classroom Practices and Assessments Barbara L. McCombs / Książka Twarda
common.buy 318.61 zł
Diabetic Retinopathy - A Guide for Diabetes Care Teams William D. Alexander / Książka Miękka
common.buy 229.71 zł
Thorney Liber Vitae (London, British Library, Additional MS 40,000, fols 1-12r) Lynda Rollason / Książka Twarda
common.buy 635.73 zł
How We Know Harry Binswanger / Książka Twarda
common.buy 166.17 zł
Oxford Reading Tree Story Sparks: Oxford Level 8: The Wish Fisher Holly Harper / Książka Miękka
common.buy 42.69 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