SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Deepak D'Souza | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 8 tuotetta
Haluatko tarkentaa hakukriteerejä?



Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12
Deepak D'Souza; Akash Lal; Kim Guldstrand Larsen
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2015)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Pr
Deepak D'Souza; K. Narayan Kumar
Springer International Publishing AG (2017)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Marijuana and Madness
Deepak Cyril D'Souza; David Castle; Sir Robin Murray
Cambridge University Press (2023)
Pehmeäkantinen kirja
62,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The British Empire and the Natural World - Environmental Encounters in South Asia
Deepak Kumar; Vinita Damodaran; Rohan D'Souza
OUP India (2011)
Kovakantinen kirja
48,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Modern Applications Of Automata Theory
Priti Shankar; Deepak D'souza
World Scientific Publishing Co Pte Ltd (2012)
Kovakantinen kirja
255,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Marijuana and Madness
David Castle; Robin M. Murray; Deepak Cyril D'Souza
Cambridge University Press (2011)
Kovakantinen kirja
96,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Model checking trace-based information flow properties
Raghavendra Kagalavadi Ramesh; Deepak D'Souza; Barbara Sprick
LAP Lambert Academic Publishing (2012)
Pehmeäkantinen kirja
83,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Marijuana and Madness
David Castle; Robin M. Murray; Deepak Cyril D'Souza
Cambridge University Press (2019)
Pehmeäkantinen kirja
42,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 468 sivua
Asu: Pehmeäkantinen kirja
Painos: 2015
Julkaisuvuosi: 2015, 07.01.2015 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, deductive methods, program certification, error diagnosis, program transformation, and hybrid and cyberphysical systems.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12
Näytä kaikki tuotetiedot
ISBN:
9783662460801
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste