FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings: 670 (Lecture Notes in Computer Science, 670) - Softcover
Synopsis
The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive systems, and to hardware design. In that time, many theoretical problems have been tackled and solved, and many continue to be worked upon. Yet it is by the suitability of their industrial application and the extent of their usage that formal methods will ultimately be judged. This volume presents the proceedings of the first international symposium of Formal Methods Europe, FME'93. The symposium focuses on the application of industrial-strength formal methods. Authors address the difficulties of scaling their techniques up to industrial-sized problems, and their suitability in the workplace, and discuss techniques that are formal (that is, they have a mathematical basis) and that are industrially applicable. The volume has four parts: - Invited lectures, containing a lecture by Cliff B. Jones and a lecture by Antonio Cau and Willem-Paul de Roever; - Industrial usage reports, containing 6 reports; - Papers, containing 32 selected and refereedpapers; - Tool descriptions, containing 11 descriptions.
"synopsis" may belong to another edition of this title.
Synopsis
The last few years have borne witness to a remarkablediversity of formal methods, with applications to sequentialand concurrent software, to real-time and reactive systems,and to hardware design. In that time, many theoreticalproblems have been tackled and solved, and many continue tobe worked upon. Yet it is by the suitability of theirindustrial application and the extent of their usage thatformal methods will ultimately be judged. This volume presents the proceedings of the firstinternational symposium of Formal Methods Europe, FME'93. The symposium focuses on the application ofindustrial-strength formal methods. Authors address thedifficulties of scaling their techniques up toindustrial-sized problems, and their suitability in theworkplace, and discuss techniques that are formal (thatis, they have a mathematical basis) and that areindustrially applicable. The volume has four parts:- Invited lectures, containing a lecture by Cliff B. Jonesand a lecture by Antonio Cau and Willem-Paul de Roever;- Industrial usage reports, containing 6 reports;- Papers, containing 32 selected and refereedpapers;- Tool descriptions, containing 11 descriptions.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for FME '93: Industrial-Strength Formal Methods: First...
Stock Image
FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings (Lecture Notes in Computer Science)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Seller Inventory # UTD1423635
Stock Image
FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings (Lecture Notes in Computer Science, 670)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540566625_new
Buy New
£ 94.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
FME '93: Industrial-Strength Formal Methods
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 1993, 1993
ISBN 10: 3540566627
ISBN 13: 9783540566625
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The last few years have borne witness to a remarkablediversity of formal methods, with applications to sequentialand concurrent software, to real-time and reactive systems,and to hardware design. In that time, many theoreticalproblems have been tackled and solved, and many continue tobe worked upon. Yet it is by the suitability of theirindustrial application and the extent of their usage thatformal methods will ultimately be judged.This volume presents the proceedings of the firstinternational symposium of Formal Methods Europe, FME'93.The symposium focuses on the application ofindustrial-strength formal methods. Authors address thedifficulties of scaling their techniques up toindustrial-sized problems, and their suitability in theworkplace, and discuss techniques that are formal (thatis, they have a mathematical basis) and that areindustrially applicable.The volume has four parts:- Invited lectures, containing a lecture by Cliff B. Jonesand a lecture by Antonio Cau and Willem-Paul de Roever;- Industrial usage reports, containing 6 reports;- Papers, containing 32 selected and refereedpapers;- Tool descriptions, containing 11 descriptions. 708 pp. Englisch. Seller Inventory # 9783540566625
Seller Image
FME 93: Industrial-Strength Formal Methods
Published by
Springer Berlin Heidelberg, 1993
ISBN 10: 3540566627
ISBN 13: 9783540566625
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The last few years have borne witness to a remarkablediversity of formal methods, with applications to sequentialand concurrent software, to real-time and reactive systems,and to hardware design. In that time, many theoreticalproblems have been ta. Seller Inventory # 4894025
Buy New
£ 82.59
£ 42.57 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
FME '93: Industrial-Strength Formal Methods | First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. FME '93: Industrial-Strength Formal Methods | First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings | James C. P. Woodcock (u. a.) | Taschenbuch | xiii | Englisch | 1993 | Springer | EAN 9783540566625 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 102132932
Seller Image
FME '93: Industrial-Strength Formal Methods
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 1993, 1993
ISBN 10: 3540566627
ISBN 13: 9783540566625
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The last few years have borne witness to a remarkablediversity of formal methods, with applications to sequentialand concurrent software, to real-time and reactive systemsand to hardware design. In that time, many theoreticalproblems have been tackled and solved, and many continue tobe worked upon. Yet it is by the suitability of theirindustrial application and the extent of their usage thatformal methods will ultimately be judged.This volume presents the proceedings of the firstinternational symposium of Formal Methods Europe, FME'93.The symposium focuses on the application ofindustrial-strength formal methods. Authors address thedifficulties of scaling their techniques up toindustrial-sized problems, and their suitability in theworkplace, and discuss techniques that are formal (thatis, they have a mathematical basis) and that areindustrially applicable.The volume has four parts: Invited lectures, containing a lecture by Cliff B. Jonesand a lecture by Antonio Cau and Willem-Paul de Roever; Industrial usage reports, containing 6 reports; Papers, containing 32 selected and refereedpapers; Tool descriptions, containing 11 descriptions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 708 pp. Englisch. Seller Inventory # 9783540566625
Seller Image
FME '93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings
Published by
Springer Berlin Heidelberg, 1993
ISBN 10: 3540566627
ISBN 13: 9783540566625
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The last few years have borne witness to a remarkablediversity of formal methods, with applications to sequentialand concurrent software, to real-time and reactive systems,and to hardware design. In that time, many theoreticalproblems have been tackled and solved, and many continue tobe worked upon. Yet it is by the suitability of theirindustrial application and the extent of their usage thatformal methods will ultimately be judged.This volume presents the proceedings of the firstinternational symposium of Formal Methods Europe, FME'93.The symposium focuses on the application ofindustrial-strength formal methods. Authors address thedifficulties of scaling their techniques up toindustrial-sized problems, and their suitability in theworkplace, and discuss techniques that are formal (thatis, they have a mathematical basis) and that areindustrially applicable.The volume has four parts:- Invited lectures, containing a lecture by Cliff B. Jonesand a lecture by Antonio Cau and Willem-Paul de Roever;- Industrial usage reports, containing 6 reports;- Papers, containing 32 selected and refereedpapers;- Tool descriptions, containing 11 descriptions. Seller Inventory # 9783540566625
Stock Image
FME *93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings (Lecture Notes in Computer Science (670))
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA77335405666276
Buy Used
£ 155
£ 25 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available