FME '96: Industrial Benefit and Advances in Formal Methods Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings.

Uitgever: Springer

Taal: Engels

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Engels
Paperback
9783540609735
06 maart 1996
711 pagina's

Alle productspecificaties

Samenvatting

This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996.

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.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Paperback
Oorspronkelijke releasedatum: 06 maart 1996
Aantal pagina's: 711
Illustraties: Nee

Betrokkenen

Hoofdredacteur: Marie-Claude Gaudel
Tweede Redacteur: Marie-Claude Gaudel
Hoofduitgeverij: Springer

Overige kenmerken

Editie: 1996 ed.
Extra groot lettertype: Nee
Product breedte: 155 mm
Product lengte: 235 mm
Studieboek: Nee
Verpakking breedte: 155 mm
Verpakking hoogte: 38 mm
Verpakking lengte: 235 mm
Verpakkingsgewicht: 2200 g

EAN

EAN: 9783540609735

Je vindt dit artikel in

Categorieën: Wetenschap & Natuur

Computers & Informatica

Programmeren

Wiskunde

Softwareontwikkeling

Boeken
Boek, ebook of luisterboek?: Boek
Taal: Engels
Beschikbaarheid: Leverbaar
Studieboek of algemeen: Studieboeken

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.