Del 1393 - Lecture Notes in Computer Science

B'98: Recent Advances in the Development and Use of the B Method

Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings

Häftad, Engelska, 1998

Av Bert Didier

729 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

This book presents the refereed proceedings of the Second International B Conference, B'98, held in Montpellier, France, in April 1998.The book presents 15 revised full papers selected from 29 submissions as well as four invited contributions. The B method is enjoying rapidly increasing popularity for the specification and design of software. The book covers all aspects of the B technology, including introductory and methodological issues, theoretical investigations and industrial applications, B extension proposals and support tools, as well as comparisons or integration with other formal methods for software development.

Produktinformation

Utgivningsdatum1998-04-08
Mått155 x 235 x 18 mm
Vikt499 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor320
Upplaga1998
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540644057

Tillhör följande kategorier

Programvaruutveckling inom Data och it
Systemvetenskap och AI inom Data och it

The book presents 15 revised full papers selected from 29 submissions as well as four invited contributions. The B method is enjoying rapidly increasing popularity for the specification and design of software. The book covers all aspects of the B technology, including introductory and methodological issues, theoretical investigations and industrial applications, B extension proposals and support tools, as well as comparisons or integration with other formal methods for software development.