MPG.eBooks - Search Results - beyond academia departments ((nursing papers) OR (using papers))

Search alternatives:
academia departments » academic departments , academic department , academia engagements
beyond academia » beyond academic
nursing papers » nursing fathers , nursing experts , nursing part
using papers » using paper , using panels , being papers

Cover Image

1

B 2007: Formal Specification and Development in B : 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

Published 2006

Springer Berlin Heidelberg

Table of Contents: “... Systems -- Hardware Verification and Beyond: Using B at AWE -- Tool Papers -- A JAG Extension...”