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ć

Model Checking Software

Język AngielskiAngielski
Książka Miękka
Książka Model Checking Software Matthew Dwyer
Kod Libristo: 01563494
Wydawnictwo Springer, Berlin, listopad 2000
This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toront... Cały opis
? points 154 b
262.48 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ć

TOP
Cutting Edge 3rd Edition Intermediate Teacher's Book and Teacher's Resource Disk Pack Damian Williams / Miękka
common.buy 195.16 zł
Shopkins Cicibiciler - Mutsuz Kurabi / Miękka
common.buy 91.72 zł
Finite Dimensional Convexity and Optimization Monique Florenzano / Twarda
common.buy 517.77 zł
Underdog Sue-Ann Levy / Twarda
common.buy 134.84 zł
Nine Man Eaters and One Rogue Kenneth Anderson / Miękka
common.buy 82.52 zł
My School Improvement Doodle Book Ben Keeling / Miękka
common.buy 70.41 zł
Resin Microscopy and On-Section Immunocytochemistry Geoffrey R. Newman / Twarda
common.buy 1 028.24 zł
Softly Calls the Serengeti Frank Coates / Miękka
common.buy 46.91 zł
Resonant Robotic Systems Vladimir I. Babitsky / Twarda
common.buy 517.77 zł

This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001.The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems.The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.

Informacje o książce

Pełna nazwa Model Checking Software
Autor Matthew Dwyer
Język Angielski
Oprawa Książka - Miękka
Data wydania 2001
Liczba stron 318
EAN 9783540421245
ISBN 3540421246
Kod Libristo 01563494
Wydawnictwo Springer, Berlin
Waga 467
Wymiary 155 x 235 x 17

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
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