Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
development board » development bank
https development » crops development, apps development, fetus development
processing java » processing japan, processing james, processing j
development board » development bank
https development » crops development, apps development, fetus development
processing java » processing japan, processing james, processing j
1
Published 2006
Table of Contents:
“... On-Board Software -- Regular Papers -- Interpreting Invariant Composition in the B Method Using the Spec...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Systems -- Modeling Units of Assessment for Sharing Assessment Process Information: Towards an Assessment...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... and the Real-Time Specification for JavaTM -- Certification and Verification -- Smart Certification of Mixed...”View full text
Electronic
eBook