Cover Image

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 /

"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,...

Full description

Bibliographic Details
Corporate Authors: International Symposium of Formal Methods Europe Oxford, England, SpringerLink (Online service)
Other Authors: Gaudel, M.-C. (Marie-Claude), Woodcock, Jim
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [1996]
Series:Lecture notes in computer science ; 1051.
Subjects:
Computer software > Development > Congresses.
applicabilité.
sécurité.
méthode B.
réutilisation logiciel.
tolérance faute.
analyse performance.
technique vérification.
système réparti.
méthode Z.
interface utilisateur.
spécification formelle.
méthode formelle.
application industrielle.
développement logiciel.
Logiciels > Développement > Congrès.
Computer software > Development.
Specificatie.
Formele talen.
Electronic books.
Conference proceedings.
Electronic resources (Books)
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.76.D47 I593 1996
 
Call Number Status Get It
QA76.76.D47 I593 1996 Available