Cargando…

Model checking software: 22nd international symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, proceedings

Detalles Bibliográficos
Autores principales:	Fischer, Bernd, Geldenhuys, Jaco
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2015
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/2757599

Ejemplares similares

Static analysis: 22nd international symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, proceedings
por: Blazy, Sandrine, et al.
Publicado: (2015)

Fundamentals of computation theory: 20th international symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, proceedings
por: Kosowski, Adrian, et al.
Publicado: (2015)

Search-based software engineering: 6th international symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, proceedings
por: Le Goues, Claire, et al.
Publicado: (2014)

Experimental algorithms: 14th international symposium, SEA 2015, Paris, France, June 29 - July 1, 2015, proceedings
por: Bampis, Evripidis
Publicado: (2015)

Bioinformatics research and applications: 11th international symposium, ISBRA 2015 Norfolk, USA, June 7-10, 2015 proceedings
por: Harrison, Robert, et al.
Publicado: (2015)

22nd International Symposium on Computer Architecture
por: Collective
Publicado: (1995)

International Symposium on Grids and Clouds 2015
por: Collective
Publicado: (2015)

22nd Annual International Symposium on Computer Architecture
por: Collective
Publicado: (1995)

2nd ACM SIGSOFT Symposium on the Foundations of Software Engineering
por: Wile, David
Publicado: (1994)

Essentials of administering Team Foundation Server 2015: using TFS 2015 to accelerate your software development
por: Gauvin, Gary
Publicado: (2015)

22nd IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing
Publicado: (2022)

Computational logistics: 6th international conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, proceedings
por: Corman, Francesco, et al.
Publicado: (2015)

Logic, rationality, and interaction: 5th international workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 proceedings
por: van der Hoek, Wiebe, et al.
Publicado: (2015)

Foundations of intelligent systems: 22nd international symposium, ISMIS 2015, Lyon, France, October 21-23, 2015, proceedings
por: Esposito, Floriana, et al.
Publicado: (2015)

Information technologies and mathematical modelling - queueing theory and applications: 14th international scientific conference, ITMM 2015, named after A. F. Terpugov, Anzhero-Sudzhensk, Russia, November 18-22, 2015, proceedings
por: Dudin, Alexander, et al.
Publicado: (2015)

Advances in spatial and temporal databases: 14th international symposium, SSTD 2015, Hong Kong, China, August 26-28, 2015 proceedings
por: Claramunt, Christophe, et al.
Publicado: (2015)

2nd COMPSTAT Symposium
por: Gordesch, Johannes, et al.
Publicado: (1976)

Artificial intelligence research and development: proceedings of the 22nd international conference of the Catalan Association for Artificial Intelligence
por: Sabater-Mir, J, et al.
Publicado: (2019)

Database systems for advanced applications: 20th international conference, DASFAA 2015, Hanoi, Vietnam, April 20-23, 2015, proceedings, part II
por: Renz, Matthias, et al.
Publicado: (2015)

Intelligent information and database systems: 7th Asian conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, proceedings, part II
por: Nguyen, Ngoc Thanh, et al.
Publicado: (2015)

Web information systems engineering - WISE 2015: 16th international conference, Miami, FL, USA, November 1-3, 2015, proceedings, part I
por: Wang, Jianyong, et al.
Publicado: (2015)

2nd JSSST International Symposium
por: Futatsugi, Kokichi, et al.
Publicado: (1996)

AutoCAD 2015 and AutoCAD LT 2015
por: Gladfelter, Donnie
Publicado: (2014)

Advances in bioinformatics and computational biology: third Brazilian symposium on bioinformatics, BSB 2008, Sao Paulo, Brazil, August 28-30, 2008, proceedings
por: Bazzan, Ana L C, et al.
Publicado: (2008)

Bringing Model Checking Closer to Practical Software Engineering
por: Remenska, Daniela
Publicado: (2016)

Systems and Software Verification: Model-Checking Techniques and Tools
por: Bérard, B, et al.
Publicado: (2001)

Model checking software: 26th international symposium, SPIN 2019, Beijing, China, July 15-16, 2019, proceedings
por: Biondi, Fabrizio, et al.
Publicado: (2019)

Mastering AutoCAD 2015 and AutoCAD LT 2015
por: Omura, George, et al.
Publicado: (2014)

Mastering Autodesk Inventor 2015 and Autodesk Inventor LT 2015
por: Waguespack, Curtis
Publicado: (2014)

AutoCAD 2015 and AutoCAD LT 2015 essentials
por: Onstott, Scott
Publicado: (2014)

Analytical and stochastic modelling techniques and applications: 22nd international conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015 proceedings
por: Gribaudo, Marco, et al.
Publicado: (2015)

2nd Symposium on Operating-system Principles
por: Association for Computing Machinery. New York
Publicado: (1971)

2nd ACM symposium on theory of computing
por: Association for Computing Machinery. New York
Publicado: (1970)

2nd International Symposium on Distributed Databases
por: Schneider, H J
Publicado: (1982)

2nd USENIX Windows NT Symposium
por: USENIX Association. Berkeley
Publicado: (1998)

Model checking software: 25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, proceedings
por: Gallardo, María del Mar, et al.
Publicado: (2018)

Communication technologies for vehicles: 8th international workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2015, Sousse, Tunisia, May 6-8, 2015 proceedings
por: Kassab, Mohamed, et al.
Publicado: (2015)

Data-driven process discovery and analysis: 5th IFIP WG 2. 6 international symposium, SIMPDA 2015, Vienna, Austria, December 9-11, 2015, revised selected papers
por: Ceravolo, Paolo, et al.
Publicado: (2017)

Quicken 2015 for dummies
por: Nelson, Stephen L
Publicado: (2014)

International Symposium on Software Testing and Analysis
por: Ostrand, Thomas
Publicado: (1994)

Cannot write session to /tmp/vufind_sessions/sess_1bks3sb4hckk1d5ln5abl9b5i8