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

Price

$ 55.99

excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 6 - 10

Our customers say:

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

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

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

Media	Books Paperback Book (Book with soft cover and glued back)
Released	October 5, 1993
ISBN13	9783540573166
Publishers	Springer-Verlag Berlin and Heidelberg Gm
Pages	438
Dimensions	156 × 234 × 23 mm · 625 g
Language	German
Editor	Bjorner, Dines
Editor	Broy, Manfred
Editor	Pottosin, Igor V.