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ć

Model Checking Software

Język AngielskiAngielski
Książka Miękka
Książka Model Checking Software Bernd Fischer
Kod Libristo: 09486332
Wydawnictwo Springer International Publishing AG, sierpień 2015
This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking... Cały opis
? points 154 b
261.68 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ć

TOP
Psychotherapy of the Disorders of the Self M. D. James F. Masterson / Miękka
common.buy 289.40 zł
Treasures from Juniper Ridge Padmasambhava Rinpoche / Miękka
common.buy 66.91 zł
Kritická reflexe demokracie a občanské společnosti Martin Šimsa / Miękka
common.buy 42.67 zł
History and Development of the Arabic Language Mohamed El-Sharkawi / Miękka
common.buy 262.08 zł
Cultural Factors Promoting Streetism Mwangi Martin / Miękka
common.buy 219.39 zł
Blending Leadership Stephen Valentine / Miękka
common.buy 89.35 zł
Unsub Divya Victor / Miękka
common.buy 45.37 zł
Jardin Des Cultures Guyanaises Buland-F / Miękka
common.buy 273.74 zł
Complete Peter Pan James Matthew Barrie / Miękka
common.buy 66.31 zł
Encyclopedia of Crime and Punishment Wesley G. Jennings / Twarda
common.buy 2 740.82 zł
Introduction to Coastal Issues and Management Barman Nilay Kanti / Miękka
common.buy 321.41 zł
New Improved Great Dane Understanding and Training Guide Book Vince Stead / Miękka
common.buy 74.29 zł

This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.

Informacje o książce

Pełna nazwa Model Checking Software
Autor Bernd Fischer, Jaco Geldenhuys
Język Angielski
Oprawa Książka - Miękka
Data wydania 2015
Liczba stron 319
EAN 9783319234038
ISBN 331923403X
Kod Libristo 09486332
Wydawnictwo Springer International Publishing AG
Waga 5153
Wymiary 155 x 235 x 20

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) > Projektowanie architektury komputerowej i projektowanie logiczne
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