Take a photo of a barcode or cover
Read With Others
Book Information
438 pages • paperback • 1 edition
ISBN/UID: 9783540573166
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 05 Oct 1993
Description
This volume comprises the papers selected for presentation at the international conference on Formal Methods in Programming and Their Applications, held in Academgorodok, Novosibirsk, Russia, June-July 1993. The conference was organized by the Ins...
Community Reviews
Content Warnings
438 pages • paperback
ISBN/UID: 9783540573166
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 05 Oct 1993
Description
This volume comprises the papers selected for presentation at the international conference on Formal Methods in Programming and Their Applications, held in Academgorodok, Novosibirsk, Russia, June-July 1993. The conference was organized by the Ins...
Community Reviews
Content Warnings