Formal Methods in Programming and Their Applications

Pottosin Igor V. Broy Mandred Bjorner Dines

ISBN 10: 038757316X ISBN 13: 9780387573168
Edité par Springer, 1993
Neuf(s) Couverture souple

Vendeur Biblios, Frankfurt am main, HESSE, Allemagne Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Vendeur AbeBooks depuis 10 septembre 2024

A propos de cet article

Description :

pp. ix + 433. N° de réf. du vendeur 1850369452

Signaler cet article

Synopsis :

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 « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Détails bibliographiques

Titre : Formal Methods in Programming and Their ...
Éditeur : Springer
Date d'édition : 1993
Reliure : Couverture souple
Etat : New

Meilleurs résultats de recherche sur AbeBooks

Image d'archives

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 Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Acheter D'occasion

EUR 8,01
Expédition à EUR 14,48
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Bjorner, Dines; Broy, Manfred & Pottosin, Igor
Edité par Springer Verlag, 1993
ISBN 10 : 038757316X ISBN 13 : 9780387573168
Ancien ou d'occasion Paperback

Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. N° de réf. du vendeur ERICA704038757316X5

Contacter le vendeur

Acheter D'occasion

EUR 132,48
Expédition à EUR 28,97
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier