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
Programmverifikation

Tapa de Programmverifikation

Número de Cutter-SanbornA655pEntrada «Apt» → 655 · marca de obra “p”

Programmverifikation

de Krzysztof R. Apt, Ernst-Rüdiger Olderog

Ediciones (1)

Programmverifikation (1996)
Springer · alemán · ISBN 9783540574798

Más obras de Krzysztof R. Apt

Tapa de Verification of sequential and concurrent programs

Verification of sequential and concurrent programs

Tapa de Lectures in game theory for computer scientists

Lectures in game theory for computer scientists

Tapa de Foundations of deductive databases and logic programming

Foundations of deductive databases and logic programming

Programmverifikation — Krzysztof R. Apt, Ernst-Rüdiger Olderog | Cutter Number

Tapa de New perspectives on games and interaction

New perspectives on games and interaction

Tapa de Principles of constraint programming

Principles of constraint programming

Tapa de Formal description of programming concepts

Formal description of programming concepts

Ver todas las obras de Krzysztof R. Apt →