Automated technology for verification and analysis /

Código QR

Automated technology for verification and analysis /

Detalles Bibliográficos
Autor Corporativo:	International symposium, ATVA 2017. Proceedings Pune, India)
Otros Autores:	D'Souza, Deepak (Editor ), Narayan Kumar, K. (Editor )
Formato:	Procedimiento de la Conferencia Libro
Lenguaje:	English
Publicado:	Cham, Suiza : Springer, 2017.
Edición:	1 edición
Materias:	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

Ejemplares similares

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

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

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

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

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

Beginning Java 8 games development /
por: Jackson, Wallace,
Publicado: (2014)

Advanced C and C++ compiling /
por: Stevanovic, Milan
Publicado: (2014)

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

Beginning R : an introduction to statistical programming /
por: Pace, Larry,
Publicado: (2012)

Crafting interpreters /
por: Nystrom, Robert
Publicado: (2021)

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

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

Ingeniería de Software /
por: Pantaleo, Guillermo
Publicado: (2015)

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

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

Beginning REALbasic : from novice to professional /
por: Ford, Jerry Lee,
Publicado: (2006)

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

El Lenguaje de programacion C /
por: Kernighan, Brian W.
Publicado: (1989)

MBCPreview /
por: Martínez-C, José V.
Publicado: (2002)

ASP.NET MVC framework preview /
por: Sanderson, Steven
Publicado: (2009)

Android quick APIs reference /
por: Cinar, Onur
Publicado: (2015)

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

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

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

Beginning R : an introduction to statistical programming /
por: Pace, Larry,
Publicado: (2015)

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

ASP.NET 1.1 solutions toolkit /
por: MacDonald, Matthew
Publicado: (2006)

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

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

Beginning F# 4.0 /
por: Pickering, Robert,
Publicado: (2016)

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

Accelerated VB 2008 /
por: Guy Fouché
Publicado: (2008)

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

Java básico /
por: Wanumen-Silva, Luis-Felipe
Publicado: (2017)

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

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

Beginning Scala /
por: Pollak, David,
Publicado: (2009)

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

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

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