cutternumberG216c

Calculadora Explorar ¿Qué es el Cutter?

Buscar en el catálogo

Cargando…

cutternumber.com.ar

Número de Cutter-Sanborn y catálogo bibliográfico en español, con millones de obras, ediciones y autores.

Calculadora Cutter Guía de catalogación Explorar el catálogo

Datos bibliográficos de Open Library (Internet Archive). Tabla Cutter-Sanborn de tres cifras.

Inicio
Explorar
Tests and Proofs

TTests and Proofs

Número de Cutter-SanbornS458tEntrada «Seid» → 458 · marca de obra “t”

Tests and Proofs

de Martina Seidl, Nikolai Tillmann

Materias

Software engineering
Computer software
Computer science
Logic design
Computer simulation
Programming Techniques
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters

Tests and Proofs — Martina Seidl, Nikolai Tillmann | Cutter Number

Simulation and Modeling

Ediciones (2)

Tests and Proofs (2014)
Springer International Publishing AG · inglés · ISBN 9783319090986
Tests and Proofs (2014)
Springer London, Limited · inglés · ISBN 9783319090993

Más obras de Martina Seidl

Tapa de UML @ Classroom: An Introduction to Object-Oriented Modeling (Undergraduate Topics in Computer Science)

UML @ Classroom: An Introduction to Object-Oriented Modeling (Undergraduate Topics in Computer Science)

Tapa de Theory and Applications of Satisfiability Testing – SAT 2020

Theory and Applications of Satisfiability Testing – SAT 2020

Tapa de Software Technologies : Applications and Foundations

Software Technologies : Applications and Foundations

UUML @ Classroom

UML @ Classroom

Ver todas las obras de Martina Seidl →