Welcome to the Kids' Library!

Communicating embedded systems software and design : formal methods

London : ISTE ; Hoboken, N.J. : Wiley, 2010. 2010

Computers in language research

Berlin ; New York : Mouton Publishers, c1983. 1983

Formal method industrial use from model to the code

London : ISTE ; Hoboken, N.J. : Wiley, 2012. 2012

Formal methods applied to complex systems : implementation of the B method

London, England ; Hoboken, New Jersey : iSTE : Wiley, 2014. 2014

Formal methods for safety and security : case studies for aerospace applications

Gateway East, Singapore : Springer, 2018. 2018

Formal methods in architecture and urbanism

Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018. 2018

Modeling and verification using UML statecharts : a working guide to reactive system design, runtime

Drusinsky, Doron.
Burlington, MA : Newnes, ©2006. 2006

Modeling and verification using UML statecharts a working guide to reactive system design, runtime m

Drusinsky, Doron.
Burlington, MA : Newnes, c2006. 2006

Practical UML statecharts in C/C++ : event-driven programming for embedded systems

Samek, Miro.
Amsterdam ; Boston : Newnes/Elsevier, ©2009. 2009

Software specification methods

London ; Newport Beach, CA : ISTE Ltd, 2006. 2006

Teamwork in multi-agent systems a formal approach

Dunin-Keplicz, Barbara.
Hoboken, N.J. : John Wiley, 2010. 2010

Verification techniques for system-level design

Fujita, Masahiro, 1956-
Amsterdam ; Boston : Morgan Kaufmann Publishers, ©2008. 2008

Verification techniques for system-level design

Fujita, Masahiro, 1956-
Amsterdam ; Boston : Morgan Kaufmann Publishers, c2008. 2008