Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > B' 98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings

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

Book Informaton
B' 98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings

Author

Didier Bert

Series

Lecture Notes in Computer Science

Volume

1393

Year of Publication

1998

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

311

Language

EN

ISBN

9783540644057, 9783540697695, 3540644059

ARI Id

1674219908197

Find on

World Cat

OpenLibrary

Internet Archive

This page has been accessed 3 times.
Access Options
Springer
Internet Archive
Citation Options
Download Citation
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Topics
Congresses B method (Computer science) Debugging in computer science Mise au point (Informatique) Methode B (Informatique) Engenharia de programacao (software) Congres Debogage Programmatuurtechniek Methode B (informatique)