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.