FME '96: Industrial Benefit and Advances in Formal Methods. Lecture Notes in Computer Science Vol.1051
von Marie-Claude Gaudel, James C. P. Woodcock
- buch.de-Verkaufsrang:
- ISBN-10:
- 3-540-60973-3
- ISBN-13:
- 978-3-540-60973-5
- Erschienen:
- 03.1996
- Titel voraussichtlich versandfertig innerhalb 3 Wochen.
- Aus der Reihe:
- «Lecture Notes in Computer Science Vol.1051»
- Einband: kartoniert/broschiert
- Sonstiges:
- XII, 23,5 cm
- Seitenzahl:
- 704
- Gewicht:
- 1075 g
- Erschienen bei:
- Springer
- Mehr über...
- Mehr über: Datenverarbeitung / Anwendungen / Technik, Industrie, Softwareentwicklung, Formalisierung, Verteilte Verarbeitung, Formale Sprachen, Verteilte Systeme, Formale Methoden, Sicherheitsrelevante Systeme, Modellüberprüfung, VDM-Methode
- Mehr von:
- Mehr von: Marie-Claude Gaudel, James C. P. Woodcock, Springer-Verlag GmbH
Kurzbeschreibung
This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 was co-sponsored by IFIP WG 14.3 and devoted to "the application and demonstrated industrial benefit of formal methods, their new horizons and strengthened foundations".The 35 full revised papers included were selected from a total of 103 submissions; also included are three invited papers. The book addresses all relevant aspects of formal methods, from the point of view of the industrial R & D professional as well as from the academic viewpoint, and impressively documents the significant progress in the use of formal methods for the solution of real-world problems.
€ 83,30
Empfehlungen:
Aqua-Fitness. Copress SportinformEUR 10,90
- Taghelle WeisheitEUR 23,00
- Bodenkunde und StandortlehreEUR 29,90
- Falk Stadtplan Extra Siegen mit Umgebungskarte, Blatt 2569EUR 5,50
- Die Magie der SpracheEUR 27,00
- 30 Minuten Rückkehr aus dem AuslandEUR 6,50
- Der Tag, an dem der Italiener in mir erwachteEUR 7,99
- Gekonnt konternEUR 9,00
- Viel GlückEUR 7,95
- Sobre la guerra y la pazEUR 11,70
- One Kind of FaithEUR 10,50
- De kritische afstand / druk 1EUR 15,90
- History of Europe During the Middle AgesEUR 24,70
- Bright Paradise: Victorian Scientific TravellersEUR 27,20
- Toward a Political Economy of Culture: Capitalism and Communication in the Twenty-First CenturyEUR 28,00
Mehr über:
- Lucius & Lucius, Verlagsgesellschaft mbH
- Deutsch Reinhard
- Moneylive e.K. MedienVerlag
- Bssermann Verlag
- buch + musik ejw-service gmbh
- Trodat Printy 4928 SwopPad
- stamp web sites uk
- commander online un catalogue
- Jaarboekje lage prijs
- tiskárna na Moravě
- invitación nupcial
- Printy Cuscinetto di sostituzione nero
Bei Videoaufzeichnungen sind Widerruf und Rückgabe gemäß § 8 unserer AGB nicht möglich, wenn die gelieferten Datenträger vom Kunden entsiegelt worden sind.