Compartir
perspectives of system informatics
Manfred Broy
(Ilustrado por)
·
Dines Bjørner
(Ilustrado por)
·
Alexandre V. Zamulin
(Ilustrado por)
·
Springer
· Tapa Blanda
perspectives of system informatics - Bjørner, Dines ; Broy, Manfred ; Zamulin, Alexandre V.
Sin Stock
Te enviaremos un correo cuando el libro vuelva a estar disponible
Reseña del libro "perspectives of system informatics"
This text constitutes the thoroughly refereed post-proceedings of the Third International Andrei Ershov Memorial Conference, PSI'99, held in Akademgorodok, Novosibirsk, Russia, in July 1999. The 44 revised papers, presented together with five revised full invited papers, were carefully reviewed and selected from a total of 73 submissions. The papers are organized in sections on: algebraic specifications; partial evaluation and super compilation; specification with states; concurrency and parallelism; logic and processes; languages and software; database programming; object-oriented programming; constraint programming; model checking and program checking; and artificial intelligence.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
La encuadernación de esta edición es Tapa Blanda.
✓ Producto agregado correctamente al carro, Ir a Pagar.