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 Susanne Graf
Kod Libristo: 01559203
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzec 2004
This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Chec... Cały opis
? points 161 b
280.95 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 10-15 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Wyprzedaż
Bart Simpson Malý rošťák Matt Groening / Miękka
common.buy 4.90 zł
Obituary Mario Martinez / Twarda
common.buy 133.46 zł
From Divergent Power Series to Analytic Functions Werner Balser / Miękka
common.buy 157.00 zł
Multicriteria Analysis for Land-Use Management E. Beinat / Twarda
common.buy 1 099.89 zł
Dorset Terry Gough / Miękka
common.buy 76.24 zł
Morality and Action Warren Quinn / Twarda
common.buy 582.59 zł
Eurythmics / Miękka
common.buy 104.09 zł
Columbo - Ein Hund fur alle "Felle" Barbara Schilling / Miękka
common.buy 43.39 zł
Mathematical Modeling in Chemical Engineering Anders Rasmuson / Twarda
common.buy 364.68 zł
Frontiers in Algorithms D. T. Lee / Miękka
common.buy 284.84 zł
Knoedelschorsch seine Leckerchen Hans-Georg Karl / Miękka
common.buy 89.65 zł
Memoirs of the Courts and Cabinets of George the Third from the Original Family Documents, Volume 1 Richard Plantagenet Buckingham and Chandos / Miękka
common.buy 165.40 zł
Classic Operating Systems Per Brinch Hansen / Twarda
common.buy 553.93 zł
Computational Methods for Electron-Molecule Collisions Franco A. Gianturco / Twarda
common.buy 851.89 zł
Adobe Creative Suite All-in-One Desk Reference For Dummies Jennifer DeHaan / Miękka
common.buy 169.39 zł
Forced Saving Hazel BatemanGeoffrey KingstonJohn Piggott / Miękka
common.buy 224.66 zł

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on heuristics and probabilities, improvements of SPIN, validation of timed systems, tool presentations, abstraction and symbolic methods, and applications.

Informacje o książce

Pełna nazwa Model Checking Software
Autor Susanne Graf, Laurent Mounier
Język Angielski
Oprawa Książka - Miękka
Data wydania 2004
Liczba stron 314
EAN 9783540213147
ISBN 3540213147
Kod Libristo 01559203
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 493
Wymiary 155 x 235 x 18

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