Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Model Checking Software

14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Model Checking Software Dragan Bosnacki
Kod Libristo: 01568802
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, czerwiec 2007
This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Chec... Cały opis
? points 125 b
218.99 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Grundlinien der Philosophie D. Fr. Ast / Książka Miękka
common.buy 211.77 zł
Telekomunikácie pre 3. roč. SPŠ, 2. časť, ŠO elektrotechnika Stanislav Servátka / Książka Miękka
common.buy 152.25 zł
Les 100 meilleures recettes pour mamans & papas pressés Solveig Darrigo-Dartinet / Książka Miękka
common.buy 42.95 zł
Perception des etudiants universitaires a l'egard de leurs pairs handicapes Andrea Elisa Salas Hoyos / Książka Miękka
common.buy 151.14 zł
LES PEINTURES Beeckman / Książka Miękka
common.buy 48.37 zł
TOP
Practice Makes Perfect: Basic German, Premium Second Edition Jolene Wochenske / Książka Miękka
common.buy 59.21 zł
Ötanazi Okulu 1 Ciltli / Książka Miękka
common.buy 85.30 zł
TOP
Moć uspješnog poslovanja – Savršen recept za poslovni uspjeh Danny Meyer / Książka Miękka
common.buy 108.59 zł
Pasta Masterclass Wiebke Krabbe / Książka Twarda
common.buy 107.08 zł
Familienmedizin in der hausärztlichen Versorgung der Zukunft Vera Kalitzkus / Książka Miękka
common.buy 168.51 zł
Krevní banka Tanya Huffová / Książka Miękka
common.buy 34.72 zł
Das Quiz für Besserwisser I ab 10 Jahren / Książka Twarda
common.buy 29.80 zł
LA SABIDURíA DE LAS AVES TIM BIRKHEAD / Książka Miękka
common.buy 139.40 zł
Senzibil Markéta Pilátová / Książka Twarda
common.buy 50.78 zł
Tableau de la France en 1614, la France et la royauté avant Richelieu Gabriel Hanotaux / Książka Miękka
common.buy 109.99 zł
Religiöses Leben und philosophische Selbstbestimmung Simone Fazzi / Książka Miękka
common.buy 69.34 zł
Premium Touren. Ein schöner Tag wandern Ulrike Poller / Książka Miękka
common.buy 75.37 zł
La historia de Ana Zeppelin: Tomo 1 Giselle Murillo / Książka Miękka
common.buy 37.53 zł
Tanie
Raphael und Pinturicchio in Siena August Schmarsow / Książka Miękka
common.buy 6.51 zł
Sally y la maldición del rubí PULLMAN / Książka Miękka
common.buy 34.02 zł
La psicología en la escuela Delval / Książka Miękka
common.buy 77.57 zł
Datenmodellierung: Theorie und Praxis des Datenbankentwurfs Günther Vinek / Książka Miękka
common.buy 224.91 zł

This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Checking Software, SPIN 2007, held in Berlin, Germany in July 2007 in conjunction with the 19th International Conference on Computer Aided Verification, CAV 2007.§The 14 revised full papers presented together with 4 tool presentation papers and the abstracts of 2 invited talks were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, as well as tool demonstrations.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Model Checking Software
Autor Dragan Bosnacki, Stefan Edelkamp
Język Angielski
Oprawa Książka - Miękka
Data wydania 2007
Liczba stron 285
EAN 9783540733690
ISBN 3540733698
Kod Libristo 01568802
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 462
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

Mogłoby Cię także zainteresować

The Last Outbreak - DESPERATION - Book 3 (A Post-Apocalyptic Thriller) Jeff Olah / Książka Miękka
common.buy 62.92 zł
Space Warfare in the 21st Century Joan Johnson-Freese / Książka Miękka
common.buy 248.40 zł
First Man Simon Schwartz / Książka Twarda
common.buy 147.53 zł
Islam in Turkey Frances Hawker / Książka Miękka
common.buy 35.52 zł
What You Really Need to Know for the Second Half of Life: Protect Your Family! Julieanne E. Steinbacher / Książka Miękka
common.buy 54.49 zł
Facebook Marketing Guide for Beginners Steven Murphy / Książka Miękka
common.buy 51.28 zł
Drug And Disease Free Michael Broder / Książka Miękka
common.buy 42.04 zł
Ambivalent Internet - Mischief, Oddity, and Antagonism Online Ryan M. Milner / Książka Twarda
common.buy 326.69 zł
Around the World in 80 Days Jules Verne / Książka Miękka
common.buy 33.31 zł
TOP
Mercedes-Benz 190 Service And Repair Manual Haynes Publishing / Książka Miękka
common.buy 152.25 zł
Jumbo the Elephant: The Life and Legacy of History's Most Famous Circus Animal Charles River Editors / Książka Miękka
common.buy 44.85 zł
LibreOffice 6.0 Writer Guide LibreOffice Documentation Team / Książka Miękka
common.buy 136.49 zł
Durarara!!, Vol. 12 (light novel) Ryohgo Narita / Książka Miękka
common.buy 63.42 zł
Handbook of Research on Microfinancial Impacts on Women Empowerment, Poverty, and Inequality Ramesh Chandra / E-book Adobe ePub DRM
common.buy 1 555.89 zł
Centroeuropa Vincente Luis Mora / Książka Miękka
common.buy 50.28 zł
Clinical Oral Pathology Nabil Kochaji / Książka Twarda
common.buy 427.16 zł
Butch Heterosexuality in Black Caribbean Womanhood Marsha Myrie Obi / Książka Twarda
common.buy 327.59 zł
Deregulation of Network Industries Sam Peltzman / Książka Miękka
common.buy 140.81 zł
Little Men Louisa May Alcott / Książka Miękka
common.buy 45.86 zł
Braided Rivers: Process, Deposits, Ecology, Management Jim Best / Książka Miękka
common.buy 714.91 zł
Swahili for Foreigners Alice Wanjiku Mangat / Książka Miękka
common.buy 214.38 zł
Preaching the Tradition Rex Mason / Książka Miękka
common.buy 203.94 zł
Contact! Bob Tuxford / Książka Twarda
common.buy 136.59 zł
MOD Richard Weight / Książka Miękka
common.buy 67.94 zł

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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?