phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł DPD 25.99 zł ORLEN Paczka 10.99 zł
phone Kontakt phoneJak kupować

ZUM '97: The Z Formal Specification Notation

Język AngielskiAngielski
Książka Miękka
Książka ZUM '97: The Z Formal Specification Notation Jonathan P. Bowen
Kod Libristo: 05274681
Wydawnictwo Springer, Berlin, listopad 1996
This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'... Cały opis
? points 154 b
261.85 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni
Polska common.delivery_to

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Stability of Stochastic Dynamical Systems R. F. Curtain / Miękka
common.buy 220.24 zł
Urkunde - Eine Quellengattung des Mittelalters Katharina Hüfner / Miękka
common.buy 167.65 zł
Feed Your Brain First Fessenden / Miękka
common.buy 83.32 zł
Resistance and Theological Ethics Ronald H. Stone / Twarda
common.buy 736.58 zł
East Asian Conflict Zones Lawrence E. Grinter / Miękka
common.buy 238.60 zł
new annual register, or general repository of history, politics, and literature, for the year 1794. To which is prefixed, the history of knowledge, le Multiple Contributors / Miękka
common.buy 182.12 zł
Nordbon Under Hednatiden. Popula R Framsta Llning AF Va Ra Fo Rfa Ders a Ldsta Kultur. Axel Emanuel Holmberg / Miękka
common.buy 155.27 zł
Peggy Angus James Russell / Twarda
common.buy 191.70 zł
Close Call Stella Rimington / Miękka
common.buy 46.89 zł
Edgar, or the English Monarch; An Heroick Tragedy [In Five Acts and in Verse]. Thomas Rymer / Miękka
common.buy 72.64 zł
Inorganic Metal Oxide Nanocrystal Photocatalysts for Solar Fuel Generation from Water Troy K. Townsend / Twarda
common.buy 516.53 zł
Captain's Bunk A Story for Boys M. B. Manwell / Twarda
common.buy 179.62 zł
Traffic and Granular Flow '01 Minoru Fukui / Miękka
common.buy 439.79 zł
Fünf Säulen der Erziehung Sigrid Tschöpe-Scheffler / Miękka
common.buy 52.18 zł
Marry for Money, You'll Learn To Love Later! Dr. Roger J. Geronimo / Miękka
common.buy 74.14 zł

This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997.The volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topical sections on real-time systems, tools, logic, system development, reactive systems, refinement, and applications. Also a select Z bibliography by Jonathan Bowen is added. All in all, the book competently reports the state-of-the-art in research and advanced applications of the Z notation.

Informacje o książce

Pełna nazwa ZUM '97: The Z Formal Specification Notation
Autor Jonathan P. Bowen, Michael G. Hinchey, David Till
Język Angielski
Oprawa Książka - Miękka
Data wydania 1997
Liczba stron 442
EAN 9783540627173
ISBN 3540627170
Kod Libristo 05274681
Wydawnictwo Springer, Berlin
Waga 578
Wymiary 156 x 234 x 23

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń > Matematyka w informatyce
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
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) > 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

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