Automated technology for verification and analysis /

QR Code

Automated technology for verification and analysis /

Bibliographic Details
Corporate Author:	International symposium, ATVA 2017. Proceedings Pune, India)
Other Authors:	D'Souza, Deepak (Editor), Narayan Kumar, K. (Editor)
Format:	Conference Proceeding Book
Language:	English
Published:	Cham, Suiza : Springer, 2017.
Edition:	1 edición
Subjects:	Ingeniería de software Lenguajes de programación Inteligencia artificial Entornos virtuales compartidos Organización de computadores Teoría de la computación Compiladores (Programas para computador) Intérpretes (Programas para computador) Libros electrónicos

Similar Items

Being Agile : your roadmap to successful adoption of agile /
by: Moreira, Mario E.,
Published: (2013)

Automated trading with R : quantitative research and platform development /
by: Conlan, Chris
Published: (2016)

Automated reasoning with analytic tableaux and related methods /
Published: (2017)

Android recipes : a problem-solution approach for android 5.0 /
by: Smith, Dave
Published: (2015)

Advanced Topics in C : core Concepts in Data Structures /
by: Kalicharan, Noel.
Published: (2013)

Beginning Java 8 games development /
by: Jackson, Wallace,
Published: (2014)

Advanced C and C++ compiling /
by: Stevanovic, Milan
Published: (2014)

Advances in agent-based complex automated negotiations /
Published: (2009)

Beginning R : an introduction to statistical programming /
by: Pace, Larry,
Published: (2012)

Crafting interpreters /
by: Nystrom, Robert
Published: (2021)

Artificial intelligence in medicine : proceedings /
Published: (2017)

Módulo de Contabilidad para Sistemas Integrados de Transportes /
by: Jiménez-Ramírez, Juan Antonio
Published: (2002)

Ingeniería de Software /
by: Pantaleo, Guillermo
Published: (2015)

AI*IA 2017 advances in artificial intelligence /
Published: (2017)

Automated scheduling and planning : from theory to practice /
Published: (2013)

Beginning REALbasic : from novice to professional /
by: Ford, Jerry Lee,
Published: (2006)

El metaverso : y cómo lo revolucionará todo /
by: Ball, Matthew
Published: (2022)

El Lenguaje de programacion C /
by: Kernighan, Brian W.
Published: (1989)

MBCPreview /
by: Martínez-C, José V.
Published: (2002)

ASP.NET MVC framework preview /
by: Sanderson, Steven
Published: (2009)

Android quick APIs reference /
by: Cinar, Onur
Published: (2015)

A programmer's guide to C# 5.0 /
by: Gunnerson, Eric
Published: (2012)

ASP.NET MVC 4 and the web API : building a REST service from start to finish /
by: Kurtz, Jamie
Published: (2013)

Accelerated GWT : building enterprise google web toolkit applications /
by: Gupta, Vipul
Published: (2008)

Beginning R : an introduction to statistical programming /
by: Pace, Larry,
Published: (2015)

Incoming Tour Operator System (ITOS) /
by: Rojas-Chaves, José Alfredo
Published: (1989)

ASP.NET 1.1 solutions toolkit /
by: MacDonald, Matthew
Published: (2006)

Handbook of usability and user-experience : research and case studies /
Published: (2022)

Advanced NXT : the Da Vinci inventions book /
by: Scholz, Matthias Paul
Published: (2007)

Beginning F# 4.0 /
by: Pickering, Robert,
Published: (2016)

Beginning robotics programming in Java with LEGO mindstorms /
by: Lu, Wei,
Published: (2016)

Accelerated VB 2008 /
by: Guy Fouché
Published: (2008)

Sistemas operativos y lenguajes de programación /
by: Muñoz-López, Francisco Javier
Published: (2006)

Java básico /
by: Wanumen-Silva, Luis-Felipe
Published: (2017)

Automate the boring stuff with Python : practical programming for total beginners /
by: Sweigart, Al
Published: (2020)

Automated workflow scheduling in self-adaptive clouds : concepts, algorithms and methods /
by: Kousalya, G.
Published: (2017)

Beginning Scala /
by: Pollak, David,
Published: (2009)

ASP.NET MVC 4 recipes : a problem-solution approach /
by: Ciliberti, John
Published: (2013)

The secret life of programs : understand computers - craft better code /
by: Steinhart, Jonathan E.
Published: (2019)

Augmented Cognition. Enhancing cognition and behavior in complex human environments. Part II : proceedings /
Published: (2017)