Bicarregui, Juan C. - Proof in Vdm: A Practitioner's Guide (Formal Approaches to Computing and Information Technology (FACIT))

Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 1994, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 380, publicationDate : 2013-10-04, releaseDate : 2013-10-04, authors : Bicarregui, Juan C., ISBN : 354019813X ...