1
por Spear, Chris., Spear, Chris.
Publicado 2008
Tabla de Contenidos: ...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...
Enlace del recurso
Electrónico eBook
2
por Alagić, Suad., Alagić, Suad.
Publicado 2015
Materias: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Enlace del recurso
Electrónico eBook
3
por Revesz, Peter., Revesz, Peter.
Publicado 2010
Tabla de Contenidos: ... -- The MLPQ System -- The DISCO System -- Database Design -- Interoperability -- Data Integration...
Enlace del recurso
Electrónico eBook
4
Materias: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Enlace del recurso
Electrónico eBook
5
por Roscoe, A.W., Roscoe, A.W.
Publicado 2010
Tabla de Contenidos: ... Verification -- Exploring Concurrency -- Shared-Variable Programs -- Understanding Shared-Variable Concurrency...
Enlace del recurso
Electrónico eBook
6
Publicado 2010
Tabla de Contenidos: ... Aspects of Software Development and Analysis -- Towards Modeling-Language Independent Integration...
Enlace del recurso
Electrónico eBook
7
Publicado 2010
Tabla de Contenidos: ... Graphics Studio Courses -- A Workflow Based Process Visual Analyzer (ProVisZer) for Teaching and Learning...
Enlace del recurso
Electrónico eBook
8
Publicado 2014
Tabla de Contenidos: ... -- Approximating Generators for Integral Arithmetic Groups -- Software for Groups: Theory and Practice...
Enlace del recurso
Electrónico eBook
9
Publicado 2007
Tabla de Contenidos: ... Course Delivery: A Study of Critical Success Factors for Instructional Systems Design -- A Game-Based...
Enlace del recurso
Electrónico eBook
10
Publicado 2013
Tabla de Contenidos: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
Enlace del recurso
Electrónico eBook