Verwandte Artikel zu FME '94: Industrial Benefit of Formal Methods:...
FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. ... Notes in Computer Science, 873, Band 873) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für FME '94: Industrial Benefit of Formal Methods:...
Foto des Verkäufers
Fme '94 Industrial Benefit of Formal Methods : Second International Symposium Barcelona 1994
Verlag:
Springer, Berlin, 1994
ISBN 10: 3540585559
ISBN 13: 9783540585558
Gebraucht
Paperback
Erstausgabe
Anbieter: True Oak Books, Highland, NY, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: 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. Artikel-Nr. TOB224-60418-A-4.61
Gebraucht kaufen
EUR 77,20
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Fme '94 : Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24 -28, 1994 : Proc
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In English. Artikel-Nr. ria9783540585558_new
Neu kaufen
EUR 128,22
EUR 17,43 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
FME '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Artikel-Nr. 9783540585558
Neu kaufen
EUR 120,14
EUR 42,75 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar