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

ZUM '95: The Z Formal Specification Notation

Język AngielskiAngielski
Książka Miękka
Książka ZUM '95: The Z Formal Specification Notation Jonathan P. Bowen
Kod Libristo: 05274496
Wydawnictwo Springer, Berlin, listopad 1994
This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in... Cały opis
? points 304 b
519.18 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Etty Hillesum Alexandra Pleshoyano / Miękka
common.buy 160.18 zł
AIDS-Related Neoplasias Luzius Schmid / Miękka
common.buy 263.20 zł
Beck'sches Handbuch der AG Florian Drinhausen / Twarda
common.buy 1 095.05 zł
Der Gott des Gemetzels, 1 Audio-CD Yasmina Reza / CD Audio
common.buy 62.68 zł
Moys Classification and Thesaurus for Legal Materials Elizabeth M. Moys / Twarda
common.buy 1 887.98 zł
Verdrangung widerstandiger Lesarten? Medien und Macht bei Jean Baudrillard und Stuart Hall Andreas Mohr / Miękka
common.buy 309.94 zł
Wounds and Words Christa Schönfelder / Miękka
common.buy 258.58 zł
Digitale Medien Und Soziale Arbeit Daniel Woldrich / Miękka
common.buy 160.68 zł

This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995.The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used "formal method" both in industry and application, the volume is of high relevance for the whole formal methods community.

Informacje o książce

Pełna nazwa ZUM '95: The Z Formal Specification Notation
Autor Jonathan P. Bowen, Michael G. Hinchey
Język Angielski
Oprawa Książka - Miękka
Data wydania 1995
Liczba stron 583
EAN 9783540602712
ISBN 3540602712
Kod Libristo 05274496
Wydawnictwo Springer, Berlin
Waga 774
Wymiary 156 x 234 x 30

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń > Matematyka w informatyce
Matematyka i nauki ścisłe > Matematyka > Kombinatoryka i teoria grafów
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