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

Verification, Model Checking, and Abstract Interpretation

14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Verification, Model Checking, and Abstract Interpretation Roberto Giacobazzi
Kod Libristo: 01662910
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, styczeń 2013
This book constitutes the refereed proceedings of the 14th International Conference on Verification,... Cały opis
? points 125 b
218.69 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Schmerz N. Birbaumer / Książka Miękka
common.buy 224.60 zł
Droit Des Femmes Et Le Mariage, Etudes Critiques de Legislation Comparee BRIDEL-L / Książka Miękka
common.buy 81.88 zł
Straßenverkehrsordnung (StVO) / Książka Miękka
common.buy 77.37 zł
Morgavsa a Morgana Tajemství bájné Chlupambry Petr Kopl / Książka Twarda
common.buy 45.49 zł
Praha Thomas Käfer / Książka Miękka
common.buy 87.29 zł
Faustine Ida von Hahn-Hahn / Książka Miękka
common.buy 57.22 zł
Foto-Grafie. Fotografische Narrativität im Werk von Ida Fink Agnieszka Rz dca / Książka Miękka
common.buy 142.61 zł
Ostseeküste Mecklenburg-Vorpommern und Rügen Heidrun Hoffmann / Książka Miękka
common.buy 66.64 zł
SONATE PIANO PIANO ROBERT MOEVS Książka binding.
common.buy 147.33 zł
Une Vie pour une Autre Levet / Książka Miękka
common.buy 96.71 zł
Nur ein Geiger Hans Christian Andersen / Książka Miękka
common.buy 90.80 zł
Beratung zwischen Tur und Angel Heino Hollstein-Brinkmann / Książka Miękka
common.buy 259.58 zł
Die Entwicklung des Religionsbegriffs bei Schleiermacher Eugen Huber / Książka Miękka
common.buy 124.77 zł
Traite de Morale, Reimprime d'Apres l'Edition de 1707 Malebranche-N / Książka Miękka
common.buy 106.73 zł
Dramaturgie in der Ausstellung Sibylle Lichtensteiger / Książka Miękka
common.buy 89.69 zł
Entwicklung und Implementierung eines drahtlosen Sensor-Aktor-Netzwerks fur ein Parkleitsystem Tom Filbrandt / Książka Miękka
common.buy 106.03 zł
Verbreitung und die Herkunft der Deutschen in Schlesien Karl Weinhold / Książka Miękka
common.buy 53.31 zł
Metodologia de previsao do potencial eolico de curto prazo Ferreira Adir a B / Książka Miękka
common.buy 207.26 zł
Gabler Lexikon Personal Ulrich Büdenbender / Książka Miękka
common.buy 219.69 zł
System der Politik Harald Bluhm / Książka Miękka
common.buy 180.00 zł
Zum Bildungsbedarf für Datensicherheit Frank Spieß / Książka Miękka
common.buy 291.85 zł
Doru Lineare, Un Insecto de Importancia Agronomica En Cultivo de Maiz Gladys Mabel Romero Sueldo / Książka Miękka
common.buy 147.62 zł
Datenbanksysteme für Software-Produktionsumgebungen Willi Gotthard / Książka Miękka
common.buy 224.60 zł

This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013. §The 27 revised full papers presented were carefully reviewed and selected from 72 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type system, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

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 Verification, Model Checking, and Abstract Interpretation
Autor Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni
Język Angielski
Oprawa Książka - Miękka
Data wydania 2013
Liczba stron 556
EAN 9783642358722
ISBN 3642358721
Kod Libristo 01662910
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 860
Wymiary 155 x 235 x 31

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania > Testowanie i weryfikacja oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Projektowanie i ergonomia interfejsu użytkownika
Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Urządzenia sieciowe
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
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ć

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications César San Martin / Książka Miękka
common.buy 248.05 zł
Non-equilibrium Thermodynamics of Superfluid Helium and Quantum Turbulence Maria Stella Mongiovì / Książka Twarda
common.buy 362.61 zł
Albert and the Pond Ian Brown / Książka Miękka
common.buy 36.87 zł
TOP
The Mind's Eye Peter Jackson-Main / Książka Miękka
common.buy 147.62 zł
Dictionary of Scholastic Philosophy Bernard Wuellner / Książka Miękka
common.buy 80.47 zł
Krampus Tales: A Killer Anthology Sinead McCabe / Książka Miękka
common.buy 55.31 zł
Quotable Kid Book: A Parent's Keepsake of Unforgettable Quotes Rlt Print / Książka Miękka
common.buy 32.16 zł
Return to Limerick W. L. Wright / Książka Miękka
common.buy 58.62 zł
The House of a Thousand Candles Meredith Nicholson / Książka Miękka
common.buy 59.63 zł
Legend of the Lost William Wayne Dicksion / Książka Miękka
common.buy 51.61 zł
Ripley's Canyon Richard Brauer / Książka Miękka
common.buy 69.95 zł
Leave It to Me... My Life in Music Donn Trenner / Książka Miękka
common.buy 114.05 zł
Developments in Healthcare Information Systems and Technologies Joseph Tan / Książka Twarda
common.buy 1 036.24 zł
I Already Am Vincent Tozzi / Książka Miękka
common.buy 54.21 zł
Analects of Confucius Arthur Waley / Książka Twarda
common.buy 513.96 zł
TOP
Beyond Horse Massage Jim Masterson / Książka Twarda
common.buy 126.18 zł
Dying for the Dark Peter Lancett / Książka Miękka
common.buy 28.15 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