Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer, 1994
ISBN 10: 3540585559ISBN 13: 9783540585558
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Book
Paperback. Condition: Good. Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Published by Springer, 1994
ISBN 10: 3540585559ISBN 13: 9783540585558
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Book
Condition: Good. 723 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Published by Berlin Springer, 1994
ISBN 10: 3540585559ISBN 13: 9783540585558
Seller: Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, Germany
Book
Taschenbuch. Condition: Neu. Gebraucht - Wie neu ungelesen, sehr guter Zustand; unused, very good condition; 744 pp. Englisch.
Published by Springer, 1994
ISBN 10: 3540585559ISBN 13: 9783540585558
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
Published by Springer, 1994
ISBN 10: 3540585559ISBN 13: 9783540585558
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 1994
ISBN 10: 3540585559ISBN 13: 9783540585558
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer Berlin Heidelberg, 1994
ISBN 10: 3540585559ISBN 13: 9783540585558
Seller: moluna, Greven, Germany
Book Print on Demand
Kartoniert / Broschiert. Condition: 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 .
Published by Springer Berlin Heidelberg, 1994
ISBN 10: 3540585559ISBN 13: 9783540585558
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Published by Springer, 1994
ISBN 10: 3540585559ISBN 13: 9783540585558
Seller: Books Puddle, New York, NY, U.S.A.
Book
Condition: New. pp. 744.
Published by Springer Berlin Heidelberg Okt 1994, 1994
ISBN 10: 3540585559ISBN 13: 9783540585558
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: 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.
Published by Springer, 1994
ISBN 10: 3540585559ISBN 13: 9783540585558
Seller: Majestic Books, Hounslow, United Kingdom
Book
Condition: 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.