Antoni Diller Z 2e: An Introduction To Formal Methods (Computer Science)
Binding : Taschenbuch, Edition : 2. Auflage, Label : John Wiley & Sons, Publisher : John Wiley & Sons, NumberOfItems : 1, PackageQuantity : 1, medium : Taschenbuch, numberOfPages : 396, publicationDate : 1994-06-16, authors : Antoni Diller, languages : english, ISBN : 0471939730