Cantitate/Preț
Produs
Total produse
Vezi coșul
B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings de Bert Didier

B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings: Lecture Notes in Computer Science, cartea 1393

Editat de Bert Didier
en Limba Engleză Paperback – 8 apr 1998
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32323 lei

Preț vechi: 40404 lei
-20% Nou

Puncte Express: 485
Preț estimativ în valută:
6185€ • 6506$ • 5168£

Carte tipărită la comandă

Livrare economică 09-23 ianuarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540644057
ISBN-10: 3540644059
Pagini: 328
Ilustrații: VIII, 320 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.43 kg
Ediția:1998
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.