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

15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Verification, Model Checking, and Abstract Interpretation Kenneth McMillan
Kod Libristo: 02340914
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, styczeń 2014
This book constitutes the refereed proceedings of the 15th International Conference on Verification,... 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

No Me Maltrates = Do Not Mistreat Me Bernardo Stamateas / Książka Miękka
common.buy 81.99 zł
Hexen und Magie Johannes Dillinger / Książka Miękka
common.buy 100.76 zł
Je ne veux pas mourir idiot Georges Wolinski / Książka Miękka
common.buy 55.49 zł

This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, 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 Kenneth McMillan, Xavier Rival
Język Angielski
Oprawa Książka - Miękka
Data wydania 2014
Liczba stron 493
EAN 9783642540127
ISBN 3642540120
Kod Libristo 02340914
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 7664
Wymiary 155 x 235 x 28

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
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) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
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ć

Subnational Population Estimates David A. Swanson / Książka Twarda
common.buy 784.87 zł
London and Westminster Improved, Illustrated by Plans: To Which is Prefixed, a Discourse on Publick Magnificence, With Observations on the State of Ar Samuel Johnson / Książka Miękka
common.buy 81.99 zł
Human Experiment David Carmichael / Książka Twarda
common.buy 780.25 zł
TOP
History of Judaism Martin Goodman / Książka Miękka
common.buy 75.37 zł
Follow Me Adult Colouring Book Esther Pincini / Książka Miękka
common.buy 58.81 zł
Spatial Modeling Principles in Earth Sciences Zekai Sen / Książka Miękka
common.buy 591.96 zł
Naturalizations of Mexican Americans John P Schmal / Książka Miękka
common.buy 156.26 zł
Biometric Authentication: An Hybrid Face Recognition System Model Adebayo Kolawole John / Książka Miękka
common.buy 185.47 zł
Perfect Pet for Peyton Mr Rick Osborne / Książka Twarda
common.buy 60.61 zł
Circulating Nucleic Acids in Plasma and Serum V Peter B. Gahan / Książka Miękka
common.buy 825.72 zł
Anecdotal Theory Jane Gallop / Książka Miękka
common.buy 147.53 zł
Atlas of Rectal Endosonography John Beynon / Książka Miękka
common.buy 218.99 zł
New Directions in Wireless Communications Research Vahid Tarokh / Książka Twarda
common.buy 744.72 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?