Darmowa dostawa dla zamówień powyżej 299,00 zł.

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02862913
Price: 218.69 PLN
Availability: InStock
Author: Barbara Jobstmann
ISBN: 9783662491218

17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Barbara Jobstmann

K. Rustan M. Leino

Język

Angielski

Książka Miękka

Kod Libristo: 02862913

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, grudzień 2015

This book constitutes the refereed proceedings of the 17th International§Conference on Verification,... Cały opis

Kod Libristo: 02862913

125 b

218.69 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Neofici Polscy: Materyaly Historyczne (1904) Teodor Jeske-Choinski

Miękka

133.79 zł

ESTHETIQUE MUSICALE Dubet

Miękka

82.58 zł

Die Abenteuer des Robin Hood - Die Bruder Tuck Erweiterung Michael Menzel

Gra

105.13 zł

Wise Man's Grandchild 09 Tsuyoshi Yoshida

Miękka

27.65 zł

Die Lehre Von Christi Hollenfahrt (1842) Johann Ludwig Konig

Miękka

129.98 zł

Catherine: princezna z Walesu (audiokniha) Robert Jobson

CD Audio

76.76 zł

Edelweiss Ronnie J. C.

Miękka

58.12 zł

L'escapade de Miquette de Camo (diglot): in French and in Hindi Aditya Srivastava

Miękka

462.74 zł

L'Arme invisible: Les Habits Noirs IV Paul Feval

Miękka

79.07 zł

Biblisch-theologisches Wörterbuch der neutestamentlichen Gräzität Hermann Cremer

Miękka

139.61 zł

Antología poética Pedro Salinas

Miękka

59.42 zł

Plateforme D cisionnelle Pour Les Achats Et Approvisionnements Rafya-A

Miękka

135.90 zł

Most přes řeku Styx Quirin Jedlička

Miękka

30.26 zł

Mediko-geneticheskoe konsul'tirovanie i profilaktika insul'ta Ol'ga Sidorova

Miękka

124.77 zł

Manejo da irrigacao na cultura da canola (brassica napus l.) no Brasil Carolina Bilibio

Miękka

194.23 zł

This book constitutes the refereed proceedings of the 17th International§Conference on Verification, Model Checking, and Abstract§Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected§from 67 submissions. VMCAI provides 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

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 Barbara Jobstmann, K. Rustan M. Leino

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2015

Liczba stron 558

EAN 9783662491218

ISBN 3662491214

Kod Libristo 02862913

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga 866

Wymiary 155 x 235 x 30

Kategoria

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) > 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) > Informatyka (nauka) > Matematyczna teoria obliczeń

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ć

Desire for Society H. G. Furth

Twarda

435.98 zł

Alien Next Door 6: The Mystery Valentine A. I. Newton

Twarda

66.84 zł

International Yearbook of Industrial Statistics 2018 UNIDO

Twarda

1 639.61 zł

Our Nation in Decline Tom Hopper

Miękka

28.65 zł

Charter and Ordinances, Together with the Acts of the Legislature, Relating to the City, Rules and Orders of the City Council, and Members of City Cou Gardiner (Me ) Maine

Miękka

66.14 zł