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ć

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Język AngielskiAngielski
Książka Miękka
Książka Abstract State Machines, Alloy, B, TLA, VDM, and Z Michael Butler
Kod Libristo: 02975370
Wydawnictwo Springer International Publishing AG, maj 2016
This book§constitutes the refereed proceedings of the 5th International Conference on Abstract§State... Cały opis
? points 168 b
290.20 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 12-17 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

TOP
Slavic Witchcraft Natasha Helvin / Miękka
common.buy 71.30 zł
Najšťastnejšia som, keď... Rose Lagercrantz / Twarda
common.buy 36.46 zł
Toxic Sara Shepard / Twarda
common.buy 74.04 zł
Venue / Miękka
common.buy 72.62 zł
Practical TLA+ Hillel Wayne / Miękka
common.buy 178.88 zł
Specifying Systems Leslie Lamport / Miękka
common.buy 212.30 zł
Amazon DynamoDB Developer Guide DOCUMENTATION TEAM / Twarda
common.buy 549.82 zł
Cosmic Maths Year 6 John Davis / Miękka
common.buy 49.32 zł
Schwingungsmodell einer parallelkinematischen Werkzeugmaschine. Modalanalyse und Identifizierung Bin Zhu / Miękka
common.buy 312.48 zł
Critical Miscellanies (Vol. 1 of 3) Essay 1 John Morley / Miękka
common.buy 105.13 zł
Desk Encyclopedia of General Virology Brian Mahy / Twarda
common.buy 420.67 zł
Arid Land Ecosystems: Volume 2, Structure, Functioning and Management D. W. GoodallR. A. Perry / Miękka
common.buy 366.78 zł
Little Rabbit and the Meanest Mother on Earth Kate Klise / Miękka
common.buy 32.61 zł
Intimate Friends Martha Vicinus / Miękka
common.buy 233.17 zł
Zapowiedź
Dead Ringers Christopher Golden / Miękka
common.buy 42.94 zł
Sin City 2. Mataría por ella Frank Miller / Miękka
common.buy 58.64 zł

This book§constitutes the refereed proceedings of the 5th International Conference on Abstract§State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in§May 2016.§§The 17 full and 15 short papers presented in this volume were carefully§reviewed and selected from 61 submissions. They record the latest research§developments in state-based formal methods Abstract State Machines, Alloy, B,§Circus, Event-B, TLS+, VDM and Z.§

Informacje o książce

Pełna nazwa Abstract State Machines, Alloy, B, TLA, VDM, and Z
Autor Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro
Język Angielski
Oprawa Książka - Miękka
Data wydania 2016
Liczba stron 426
EAN 9783319335995
ISBN 3319335995
Kod Libristo 02975370
Wydawnictwo Springer International Publishing AG
Waga 682
Wymiary 155 x 235 x 235

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Projektowanie i ergonomia interfejsu użytkownika
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ń
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