Gregor von Bochmann – författare
Visar alla böcker från författaren Gregor von Bochmann. Handla med fri frakt och snabb leverans.
6 produkter
Formal Description Techniques VIII
Av Omar Rafiq, Rachida Dssouli m. fl.
E-bok, 2016
2860 kr
Lägg i varukorg
This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceedings of the eighth International Conference on …
Testing of Communicating Systems
Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29–September 1, 2000, Ottawa, Canada
Av Gregor von Bochmann, Robert L. Probert m. fl.
E-bok, 2013
2925 kr
Lägg i varukorg
Testing of Communicating Systems presents the latest international results in both the theory and industrial practice of the testing of communicating systems. The topics discussed range from tools and techniques for testing to test standards, frameworks, notations, algorithms, fundamentals of …
Formal Description Techniques VIII
Av Gregor von Bochmann, Rachida Dssouli m. fl.
Inbunden, 1996
2188 kr
Lägg i varukorg
This text provides a review of the main effects of enantiomers on the main classes of biological receptors, with comparison of closely related receptors. Other features include: discussion of chirality as a tool in medicinal chemistry to obtain better potency, selectivity and duration of action; an …
Testing of Communicating Systems
Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29–September 1, 2000, Ottawa, Canada
Av Gregor Bochmann, Ifip Tc6/Wg6 1 International Conference m. fl.
Inbunden, 2000
2188 kr
Lägg i varukorg
This volume presents international results in both the theory and industrial practice of the testing of communicating systems. The topics discussed range from tools and techniques for testing to test standards, frameworks, notations, algorithms, fundamentals of testing, and industrial experiences …
Testing of Communicating Systems
Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29–September 1, 2000, Ottawa, Canada
Av Hasan Ural, Robert L. Probert m. fl.
Häftad, 2012
2188 kr
Lägg i varukorg
Testing of Communicating Systems presents the latest international results in both the theory and industrial practice of the testing of communicating systems. The topics discussed range from tools and techniques for testing to test standards, frameworks, notations, algorithms, fundamentals of …
Computer Aided Verification
Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
Av Gregor von Bochmann, David K. Probst
Häftad, 1993
569 kr
Lägg i varukorg
This volume gives the proceedings of the Fourth Workshop onComputer-Aided Verification (CAV '92), held in Montreal,June 29 - July 1, 1992. The objective of this series ofworkshops is to bring together researchers and practitionersinterested in the development and use of methods, tools andtheories …
