Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 : Proceedings - Couverture souple

Bjorner, Dines ; Broy, Manfred &amp ; Pottosin, Igor

9780387573168: Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 : Proceedings

Couverture souple

ISBN 10 : 038757316X ISBN 13 : 9780387573168

Editeur : Springer-Verlag, 1993

Afficher les exemplaires de cette �dition comportant l?ISBN

2 D'occasion

De EUR 7,86

3 Neuf

De EUR 94,30

Formal Methods in Programming and Their Applications 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. Full description

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer-Verlag
Date d'�dition: 1993
Langue: anglais
ISBN 10: 038757316X
ISBN 13: 9780387573168
Reliure: Broch�
Nombre de pages: 433
Coordonn�es du fabricant: non disponible
Personne responsable: non disponible

Autres �ditions populaires du m�me titre

9783540573166: Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings

Edition pr�sent�e

ISBN 10 : 354057316X ISBN 13 : 9783540573166
Editeur : Springer, 2008
Couverture souple

Springer, 2014 (Couverture souple)

R�sultats de recherche pour Formal Methods in Programming and Their Applications:...

Image d'archives

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia, June/July 1993 Proceedings (Lecture Notes in Computer Science 735)

Bjorner, Dines; Broy, Manfred & Pottosin, Igor

Edit� par Springer-Verlag, Berlin, 1993

ISBN 10 : 038757316X ISBN 13 : 9780387573168

Ancien ou d'occasion Paperback

Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Good. Etat de la jaquette : No Dust Jacket. Lecture Notes in Computer Science 735 .Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library. N� de r�f. du vendeur 095211

Contacter le vendeur