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 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1393 Didier Bert (Ed.) B'98: Re...
Author:  Bert Didier

36 downloads 959 Views 5MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

Recommend Documents

Lecture Notes in Computer Science Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris ...

Lecture Notes in Computer Science Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris ...

Recent Development in Theories 8~Numerics International Conference on Inverse Problems This page intentionally left ...

MEDICAL TE.XTILES Proceedings of the International Conference 24 & 25 August 1999 Bolton UK SPONSORED BY EDITED BY Pr...

HEPATITIS B RESEARCH ADVANCES No part of this digital document may be reproduced, stored in a retrieval system or tran...

DANIEL QUINN A NEW NOVEL BY THE AUTHOR OF ISHMAEL THE STORY OF B An Adventure of the Mind and Spirit “Daniel Quinn h...

6548.TP 1/9/08 11:58 AM Page 2 C M Y CM MY CY CMY Recent Advances in Nonlinear Analysis Composite K This pag...