9783540566625 - 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, band 670) von woodcock, james c.p.; larsen, peter g. (2 Ergebnisse)
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 116,26
EUR 13,96 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 106,99
EUR 65,27 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: 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 tackl…ed 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.
