Fme '93: Industrial-Strength : First April 19-23, Proceedings (Lecture Notes in Computer Science)
5 Angebote vergleichen
Bester Preis: Fr. 1.15 (€ 1.19)¹ (vom 10.02.2017)1
Speech Technology: Theory and Applications (Lecture Notes in Computer Science) (2010)
EN PB USISBN: 9780387566627 bzw. 0387566627, in Englisch, 360 Seiten, Springer, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, anybookltduk.
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 refereed papers; - Tool descriptions, containing 11 descriptions. Paperback, Label: Springer, Springer, Product group: Book, Published: 2010-11-01, Studio: Springer, Sales rank: 14836711.
Von Händler/Antiquariat, anybookltduk.
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 refereed papers; - Tool descriptions, containing 11 descriptions. Paperback, Label: Springer, Springer, Product group: Book, Published: 2010-11-01, Studio: Springer, Sales rank: 14836711.
2
Symbolbild
Fme '93: Industrial-Strength : First April 19-23, Proceedings (Lecture Notes in Computer Science) (1993)
ENISBN: 9780387566627 bzw. 0387566627, in Englisch, Springer-Verlag.
Lieferung aus: Vereinigtes Königreich Grossbritannien und Nordirland, Shipping costs to: USA.
Von Händler/Antiquariat, Anybook Ltd.
Springer-Verlag, 1993. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition.
Von Händler/Antiquariat, Anybook Ltd.
Springer-Verlag, 1993. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition.
3
Symbolbild
denmark International Symposium of Formal Methods Europe 1993 Odense, J. C. P. Woodcock, P. G. Larsen, P. G. Larsen (Editor)
Fme '93: Industrial-Strength : First April 19-23, Proceedings (Lecture Notes in Computer Science) (1993)
EN PBISBN: 9780387566627 bzw. 0387566627, in Englisch, Springer-Verlag, Taschenbuch.
Lieferung aus: Vereinigte Staaten von Amerika, Shipping costs to: USA.
Von Händler/Antiquariat, Ergodebooks.
Springer-Verlag, 1993-12-01. Paperback. Used:Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. 24*7 Customer Service.
Von Händler/Antiquariat, Ergodebooks.
Springer-Verlag, 1993-12-01. Paperback. Used:Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. 24*7 Customer Service.
4
Symbolbild
Fme '93: Industrial-Strength : First Odense, April 19-23, Proceedings (1993)
EN PB NWISBN: 9780387566627 bzw. 0387566627, in Englisch, Springer Verlag, Taschenbuch, neu.
Von Händler/Antiquariat, Revaluation Books [2134736], Exeter, United Kingdom.
689 pages. 9.20x6.10x0.90 inches. In Stock.
689 pages. 9.20x6.10x0.90 inches. In Stock.
5
Symbolbild
FME *93 - Industrial-Strength Formula - Proceedings the Europe, Odense, Denmark, April 19-23, 1993 (1993)
EN PB USISBN: 9780387566627 bzw. 0387566627, in Englisch, Springer-verlag, Taschenbuch, gebraucht.
Lieferung aus: Indien, Shipping costs to: USA.
Von Händler/Antiquariat, DELHI BOOK STORE.
Springer-verlag, 1993. N/A. Paperback. Like New/Like New.
Von Händler/Antiquariat, DELHI BOOK STORE.
Springer-verlag, 1993. N/A. Paperback. Like New/Like New.
Lade…