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 Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Model Checking Software

20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Model Checking Software Ezio Bartocci
Kod Libristo: 01663942
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maj 2013
This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking... Cały opis
? points 125 b
222.70 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Kudy do pohody Karel Nešpor / Audio CD Audio
common.buy 25.10 zł
Lieblingsschlager / Audio CD Audio
common.buy 72.66 zł
Agora sou um professor digital, como ser um professor durante a pandemia.: Um dia estava dentro da sala de aula, outro dia estava dentro de uma plataf Odirlei Amaro Ferreira / Książka Miękka
common.buy 26.73 zł
Ste. Roche Henriette Von Paalzow / Książka Miękka
common.buy 76.95 zł
Arbeitswert, Mehrwert Und Verteilung Gerhard Himmelmann / Książka Miękka
common.buy 228.72 zł
Puzzle 3x48 Peppa Pig / Gra/Zabawka Puzzle
common.buy 23.47 zł
Cocorico Le Survivant Littéraire Lsl / Książka Miękka
common.buy 36.33 zł

This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.

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 Ezio Bartocci, C. R. Ramakrishnan
Język Angielski
Oprawa Książka - Miękka
Data wydania 2013
Liczba stron 377
EAN 9783642391750
ISBN 3642391753
Kod Libristo 01663942
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 593
Wymiary 155 x 235 x 22

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

Mogłoby Cię także zainteresować

Organometallic Oxidation Catalysis Franc Meyer / Książka Miękka
common.buy 886.64 zł
Modern Syntheses of Cobalt (III) Complexes M. Shibata / Książka Miękka
common.buy 222.70 zł
Dingbat: Adventures in Trickle Valley Jennifer White / Książka Miękka
common.buy 40.61 zł
Finding Hope Dan Rogers / Książka Miękka
common.buy 67.86 zł
Dodging Shells W L Bertsch / Książka Miękka
common.buy 52.15 zł
Medical Spanish: A Workbook: Study Module 1 Craig A Sinkinson M D / Książka Miękka
common.buy 133.60 zł
52 Steps to Success Anthony Pan / Książka Miękka
common.buy 129.82 zł
Soothing W. HANS MILLER / Książka Twarda
common.buy 134.72 zł
Pieter Vermeersch: Variations Dieter Roelstraete / Książka Miękka
common.buy 169.93 zł
Advances in Biosensors Sergey Yurish / Książka Twarda
common.buy 397.23 zł
Looking for Love with All the Wrong Husbands Tee Fuller / Książka Twarda
common.buy 168.50 zł
Security, Defense Discourse and Identity in NATO and Europe Falk Ostermann / E-book Adobe ePub DRM
common.buy 286.49 zł
How to Create Manga: Drawing Clothing and Accessories Studio Hard Deluxe Inc. / E-book Adobe ePub DRM
common.buy 89.81 zł
Digital Marketing Foundations and Strategy Lauren Labrecque / Książka Miękka
common.buy 994.32 zł
Memorable Edinburgh Houses Wilmot Harrison / Książka Twarda
common.buy 132.37 zł
TOP
Little Bear Lost Jane Hissey / Książka Miękka
common.buy 37.55 zł
Living the Beatles Legend Kenneth Womack / Książka Miękka
common.buy 60.01 zł
Execution Gap: When Law Exists But Rights Don't Attach Thomas Hornig / E-book Adobe ePub DRM
common.buy 42.55 zł
Disobeying the Security Council Antonios Tzanakopoulos / Książka Miękka
common.buy 239.23 zł
Monteverdi: Vespers (1610) John (University of Birmingham) Whenham / Książka Twarda
common.buy 408.36 zł
Making Men into Fathers Barbara Hobson / Książka Twarda
common.buy 339.77 zł
Greek Islands Korina Miller / Książka Miękka
common.buy 132.37 zł
National Federation of Women Workers, 1906-1921 Cathy Hunt / Książka Twarda
common.buy 493.28 zł
High Frequency Continuous Time Filters in Digital CMOS Processes Shanthi Pavan / Książka Miękka
common.buy 443.98 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?