Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Saved in:

書目詳細資料
主要作者:	David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg
格式:	圖書
出版:	Springer 2017
主題:	Biomedical and Life Sciences
在線閱讀:	http://repository.vnu.edu.vn/handle/VNU_123/27705
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Verification, Model Checking, and Abstract Interpretation
由: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Neil D. Jones, Markus Müller-Olm.
出版: (2017)

Verification, Model Checking, and Abstract Interpretation
出版: (2017)

Modelling Autonomic Communications Environments
由: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell
出版: (2017)

Advances in Databases and Information Systems
由: David Hutchison, et al.
出版: (2017)

Advances in Blended Learning
由: David Hutchison, et al.
出版: (2017)

Information Systems Security
由: David Hutchison, Takeo Kanade, et al.
出版: (2017)

Ecological Impacts of Non-Native Invertebrates and Fungi on Terrestrial Ecosystems
由: David W. Langor, Jon Sweeney.
出版: (2017)

Advances in Computation and Intelligence
由: David Hutchison, et al.
出版: (2017)

Model-Driven Development of Reliable Automotive Services
由: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar
出版: (2017)

Model Driven Engineering Languages and Systems
由: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz
出版: (2017)

Motion in Games
由: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell
出版: (2017)

Mouse Models of Human Blood Cancers: Basic Research and Pre-clinical Applications
出版: (2017)

Transanal Stapling Techniques for Anorectal Prolapse
由: David Jayne, Angelo Stuto
出版: (2017)

Mixed effects models and extensions in ecology with R
由: Zuur, A., et al.
出版: (2017)

Multiobjective Optimization
由: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz
出版: (2017)

The Welfare of Cattle
由: Keyserlingk, Daniel M. Weary.
出版: (2017)

Pine Wilt Disease: A Worldwide Threat to Forest Ecosystems
由: Manuel M. Mota, et al.
出版: (2017)

Sensors
由: S.C. Mukhopadhyay, R.Y.M. Huang, S.C. Mukhopadhyay, R.Y.M. Huang.
出版: (2017)

Wildlife Study Design
由: Michael L. Morrison, William M. Block, M. Dale Strickland, Bret A. Collier, Markus J. Peterson.
出版: (2017)

Faunal Ecology and Conservation of the Great Indian Desert
由: C. Sivaperuman, Q. H. Baqri, G. Ramaswamy, M. Naseema.
出版: (2017)

State of the World's Oceans
由: Allsopp, M., et al.
出版: (2017)

Molecular Genetic Approaches to Maize Improvement
由: Toshiyuki Nagata, Horst Löorz, Jack M. Widholm, Alan L. Kriz, Brian
出版: (2017)

Challenges to Marine Ecosystems
由: John Davenport, Gavin M. Burnell, Tom Cross, Mark Emmerson, Rob McAllen, Ruth Ramsay, Emer Rogan.
出版: (2017)

The Welfare of Animals
由: Clive Phillips ; edited by Clive Phillips
出版: (2017)

La genetica nell'infertilità maschile
由: Raimondo, Salvatore, et al.
出版: (2017)

Bacterial Signal Transduction: Networks and Drug Targets
由: Nathan Back, Irun R. Cohen, Abel Lajtha, John D. Lambris, Rodolfo Paoletti, Ryutaro Utsumi.
出版: (2017)

Molecular Biology in Plant Pathogenesis and Disease Management : Disease Management. Vol 3
由: Narayanasamy, P.
出版: (2017)

Comparative Hepatitis
由: Axel Schmidt, Olaf Weber, Stefan H. E. Kaufmann, Olaf Weber, Ulrike Protzer.
出版: (2017)

The Welfare of Sheep
由: Clive Phillips.
出版: (2017)

Immunopharmacology
出版: (2017)

Molecular Biology of Neuropsychiatric Disorders
由: H. J. Gross, Dieter B. Wildenaue
出版: (2017)

Vegetables II
出版: (2017)

From Attention to Goal-Directed Behavior
由: Francisco Aboitiz, Diego Cosmelli.
出版: (2017)

Lateral Flow Immunoassay
出版: (2017)

Physiological Ecology of Tropical Plants
由: Lüttge, Ulrich
出版: (2017)

Astrocytes in (Patho)Physiology of the Nervous System
由: Vladimir Parpura, Philip G. Haydon.
出版: (2017)

The Codes of Life
由: Marcello Barbieri, Jesper Hoffmeyer.
出版: (2017)

Plant-Environment Interactions
出版: (2017)

Insect Conservation and Islands
由: New, T. R.
出版: (2017)

Regulatory T Cells and Clinical Application
出版: (2017)