Libro programming and mathematical method: international summer school De Bauer, F. L. ; Broy, Manfred ; Broy, Manfred

Envío gratis

portada programming and mathematical method: international summer school

Formato

Libro Físico

Ilustrado por

Manfred Broy

Editorial

Springer

Autor

Bauer, F. L. ; Broy, Manfred ; Broy, Manfred

Año

2011

Idioma

Inglés

N° páginas

407

Encuadernación

Tapa Blanda

Dimensiones

24.4 x 17.0 x 2.2 cm

Peso

0.67 kg.

ISBN

3642775748

ISBN13

9783642775741

Categorías

Programación informática - desarrollo de software
Arquitectura y diseño lógico de ordenadores

programming and mathematical method: international summer school

Manfred Broy (Ilustrado por) · Springer · Tapa Blanda

Sin Stock

Reseña del libro "programming and mathematical method: international summer school"

This volume contains the proceedings of the 1990 Marktoberdorf Summer School on mathematical programming methods. Contributions are centered on logical and functional calculi for specification, refinement, and verification of programs and program systems.