Skip to content
NovaLib
  • Sample Page
  • library
NovaLib
  • Sample Page
Library / The B-book : assigning programs to meanings / [...] XD-US

File hashes

MD5
fea13a00fffe29c4af6c71bfc95c956a
SHA1
4LUWSRJBXPUU7Q5SH5BPGA7WMIPM356B
SHA256
d4301456eb1bba5c1b50430eeb2d0609 72bfc7c72f05be5d437bdcd24e7dbb9e
AICH
M2FVOEUOTJYU33S5OYCMS3I34QE5IVGF
CRC32
12e12953
eDonkey
4fc6f0ffa5c92f7ceee432a94d20ca27
TTH
CVFKXAUMSZGFGBMWWRUSUUKUIQB4LX2SLRO6I5Y

Available files

  • DJVU

Download Link

Direct link IPFS Cloudflare Pinata
ENGLISH

The B-book : assigning programs to meanings / [...] XD-US

By Jean-Raymond Abrial

Book information

Publisher
Cambridge [u.a.] Cambridge Univ. Press
Year
1996
ISBN
0521496195, 9780521496193
Language
english
Format
DJVU
Filesize
6 MB (6485391 bytes)
Pages
814\814
Library
Kolxo3
DPI
600
Time added
2013-05-29 16:00:00

Similar books

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

2003 · PDF

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

2009 · PDF

Modeling in Event-B : system and software engineering

Modeling in Event-B : system and software engineering

2010 · PDF

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

2009 · PDF

Modeling in Event-B: System and Software Engineering

Modeling in Event-B: System and Software Engineering

2010 · PDF

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

2009 · PDF

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

2003 · PDF

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

1996 · DJVU

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme