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ł Poczta Polska 18.99 zł ORLEN Paczka 10.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: 19315860
Wydawnictwo Springer International Publishing AG, maj 2018
This book constitutes the refereed proceedings of the 6th International Conference on Abstract State... Cały opis
? points 154 b
261.85 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ć

Shipping Container Homes: The Beginners Guide to Building and Decorating Tiny Homes (With DIY Projects for Shipping Container Houses and Tiny Ho Erik Fishner / Miękka
common.buy 56.07 zł
The Path Between the Seas David McCullough / CD Audio
common.buy 136.71 zł
A Vedic Concordance: A Revised, Updated and Improved Devanagari Version of Bloomfield's Vedic Concordance Dr Ravi Prakash Arya / Miękka
common.buy 156.77 zł
Святые грешники. Неистовый Л. Шэн / Twarda
common.buy 66.45 zł
Megamonster David Walliams / MP3
common.buy 46.60 zł
Predators Kenn Goin / MP3
common.buy 24.14 zł
4 Jahreszeiten Jakob Welik / Miękka
common.buy 71.24 zł
Lubetkins Erbe oder Von einem, der nicht auszog Marina Lewycka / Miękka
common.buy 41.31 zł
Be Honest--You'Re Not That into Him Either Ian Kerner MP3
common.buy 55.98 zł

This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 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, Alexander Raschke, Thai Son Hoang, Klaus Reichl
Język Angielski
Oprawa Książka - Miękka
Data wydania 2018
Liczba stron 432
EAN 9783319912707
ISBN 3319912704
Kod Libristo 19315860
Wydawnictwo Springer International Publishing AG
Waga 682
Wymiary 155 x 235 x 24

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
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