Dines Bjorner
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28-july 2, 1993 - Proceedings - Lecture Notes in Computer Science Dines Bjorner

Name: Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28-july 2, 1993 - Proceedings - Lecture Notes in Computer Science
Price: 55.99 USD
Availability: OutOfStock
Author: Dines Bjorner

Precio

$ 55,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de jun. - 7 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28-july 2, 1993 - Proceedings - Lecture Notes in Computer Science

Dines Bjorner

This volume contains the papers selected for presentation at an international conference organized by the Institute of Informatics Systems of the Siberian Division of the Russian Academy of Sciences. Topics discussed include semantics, software specification and program logic.

438 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	5 de octubre de 1993
ISBN13	9783540573166
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	438
Dimensiones	156 × 234 × 23 mm · 625 g
Lengua	Alemán
Editor	Bjorner, Dines
Editor	Broy, Manfred
Editor	Pottosin, Igor V.