Fme *94 : Industrial Benefit Of Formal Methods

Methods, International Symposium Of Formal

ISBN 10: 3540585559 ISBN 13: 9783540585558
Edité par Springer, 1994
Neuf(s) Couverture souple

Vendeur Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Vendeur AbeBooks depuis 17 avril 2013

A propos de cet article

Description :

This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABNR-273794

Signaler cet article

Synopsis :

This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994.
Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refinement, proof, process modelling, specification of programming languages, model checking, real-time aspects, and the combination of formal and systematic methods; these contributions advance the foundations of formal methods and demonstrate their practical value.

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 : Fme *94 : Industrial Benefit Of Formal ...
Éditeur : Springer
Date d'édition : 1994
Reliure : Couverture souple
Etat : New

Meilleurs résultats de recherche sur AbeBooks

Image d'archives

Methods, International Symposium of Formal; Naftalin, Maurice [Editor]; Denvir, Tim [Editor]; Bertran, Miquel [Editor];
Edité par Springer, 1994
ISBN 10 : 3540585559 ISBN 13 : 9783540585558
Ancien ou d'occasion Paperback

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis

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

Paperback. Etat : Good. Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. N° de réf. du vendeur UTD1423634

Contacter le vendeur

Acheter D'occasion

EUR 3,47
Expédition à EUR 5,91
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Methods, International Symposium Of Formal
Edité par Springer, Berlin, 1994
ISBN 10 : 3540585559 ISBN 13 : 9783540585558
Neuf Taschenbuch

Vendeur : Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, Allemagne

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

Taschenbuch. Etat : Neu. Gebraucht - Wie neu ungelesen, sehr guter Zustand; unused, very good condition; -This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994. Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refinement, proof, process modelling, specification of programming languages, model checking, real-time aspects, and the combination of formal and systematic methods; these contributions advance the foundations of formal methods and demonstrate their practical value. 744 pp. Englisch. N° de réf. du vendeur INF1000087783

Contacter le vendeur

Acheter neuf

EUR 3,95
Expédition à EUR 45
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Methods, International Symposium Of Formal
Edité par Springer, Berlin, 1994
ISBN 10 : 3540585559 ISBN 13 : 9783540585558
Neuf Taschenbuch

Vendeur : Che & Chandler Versandbuchhandlung, Fürstenberg OT Blumenow, Allemagne

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

Taschenbuch. Etat : Neu. Gebraucht - Wie neu ungelesen, sehr guter Zustand; unused, very good condition; -This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994. Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refinement, proof, process modelling, specification of programming languages, model checking, real-time aspects, and the combination of formal and systematic methods; these contributions advance the foundations of formal methods and demonstrate their practical value. 744 pp. Englisch. N° de réf. du vendeur INF1000087783

Contacter le vendeur

Acheter neuf

EUR 3,95
Expédition à EUR 45
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Methods, International Symposium Of Formal & Maurice Naftalin & Tim Denvir & Miquel Bertran
Edité par Springer, Berlin, 1994
ISBN 10 : 3540585559 ISBN 13 : 9783540585558
Ancien ou d'occasion Paperback Edition originale

Vendeur : True Oak Books, Highland, NY, Etats-Unis

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

Paperback. Etat : Good+. Vol. 873; 6.1 X 1.67 X 9.25 inches; 723 pages; Ex-Library copy with usual identifiers. Very slightly cocked spine. Minor rubbing on the covers. Scratches on the bottom exterior edge of textblock. Light yellowing on pages. Good condition otherwise. No other noteworthy defects. No markings on text pages. ; - Your satisfaction is our priority. We offer free returns and respond promptly to all inquiries. Your item will be carefully cushioned in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence. 1st Edition (Unstated); No Printing Stated. N° de réf. du vendeur TOB224-60418-A-4.61

Contacter le vendeur

Acheter D'occasion

EUR 73,99
Livraison gratuite
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Naftalin, Maurice|Denvir, Tim|Bertran, Miquel
Edité par Springer Berlin Heidelberg, 1994
ISBN 10 : 3540585559 ISBN 13 : 9783540585558
Neuf Couverture souple
impression à la demande

Vendeur : moluna, Greven, Allemagne

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

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994.Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 . N° de réf. du vendeur 4894762

Contacter le vendeur

Acheter neuf

EUR 92,27
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Maurice Naftalin (u. a.)
Edité par Springer, 1994
ISBN 10 : 3540585559 ISBN 13 : 9783540585558
Neuf Taschenbuch
impression à la demande

Vendeur : preigu, Osnabrück, Allemagne

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

Taschenbuch. Etat : Neu. FME '94: Industrial Benefit of Formal Methods | Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings | Maurice Naftalin (u. a.) | Taschenbuch | xii | Englisch | 1994 | Springer | EAN 9783540585558 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. N° de réf. du vendeur 101881943

Contacter le vendeur

Acheter neuf

EUR 95,70
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 5 disponible(s)

Ajouter au panier

Image d'archives

Methods, International Symposium Of Formal
Edité par Springer, 1994
ISBN 10 : 3540585559 ISBN 13 : 9783540585558
Neuf Couverture souple

Vendeur : Majestic Books, Hounslow, Royaume-Uni

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

Etat : New. pp. 744 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 5801090

Contacter le vendeur

Acheter neuf

EUR 101,92
Expédition à EUR 7,43
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Methods, International Symposium Of Formal
Edité par Springer, 1994
ISBN 10 : 3540585559 ISBN 13 : 9783540585558
Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

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

Etat : New. pp. 744. N° de réf. du vendeur 263095389

Contacter le vendeur

Acheter neuf

EUR 103,44
Expédition à EUR 3,37
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Naftalin, Maurice; Denvir, Tim (EDT); Bertran, Miquel
Edité par Springer, 1994
ISBN 10 : 3540585559 ISBN 13 : 9783540585558
Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

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

Etat : New. N° de réf. du vendeur 5905910-n

Contacter le vendeur

Acheter neuf

EUR 104,61
Expédition à EUR 2,23
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Maurice Naftalin
ISBN 10 : 3540585559 ISBN 13 : 9783540585558
Neuf Taschenbuch
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

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

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994.Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refinement, proof, process modelling, specification of programming languages, model checking, real-time aspects, and the combination of formal and systematic methods; these contributions advance the foundations of formal methods and demonstrate their practical value. 744 pp. Englisch. N° de réf. du vendeur 9783540585558

Contacter le vendeur

Acheter neuf

EUR 106,99
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 2 disponible(s)

Ajouter au panier

There are 7 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre