Developing mode-rich satellite software by refinement in event B :: Alexei Iliasov :: Computing Science, Newcastle University 2010 :: OBNB, the Open British National Bibliography

Publication Data

Title Developing mode-rich satellite software by refinement in event B
Author Alexei Iliasov
Contributor
Publisher Computing Science, Newcastle University
Publication date 2010
Publication location Newcastle-upon-Tyne
Language English

Descriptive Notes

Title from cover.
"June 2010."

Topics

Artificial satellites
Formal methods (Computer science)

Catalogue Data

OBNB ID GBB148878
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.10285

ISBD

P1053 [17] p.
P1042 Includes bibliographical references.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Developing mode-rich satellite software by refinement in event B by Alexei Iliasov. Published by Computing Science, Newcastle University in 2010. Publication and catalogue information, links to buy online and reader comments.