Verification of Sequential and Concurrent Programs, Fachbücher von Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Old...

Verification Of Sequential And Concurrent Programs 1319

Advanced Slicing Of Sequential And Concurrent Programs 5442

Comparative analysis of Sequential and Concurrent processing for float, Fachbücher von Karan Gumber, Meenu Talwar, Sharm...

Advanced Slicing of Sequential and Concurrent Programs, Fachbücher von Jens Krinke

Software Engineering and Formal Methods, Fachbücher von Antonio Cerone, Frank de Boer

Formal Methods for Components and Objects, Fachbücher von Marcello M. Bonsangue, Frank S. de Boer, Ferruccio Damiani, Be...

Formal Methods for Components and Objects, Fachbücher von Marcello M. Bonsangue, Reiner Hähnle, Frank S. de Boer, Elena ...

Frank S. De Boer (u. A.) | Formal Methods For Components And Objects |

Biomass and Biofuels from Microalgae, Fachbücher von Navid R. Moheimani, Mark P. McHenry, Karne De Boer, Parisa A. Bahri

Ernest Dichter and Motivation Research, Fachbücher von R. Gries, S. Schwarzkopf

Design and Verification of Microprocessor Systems for High-Assurance Applications, Fachbücher von David S. Hardin

Prokhorov and Contemporary Probability Theory, Fachbücher von Albert N. Shiryaev, S. R. S. Varadhan, Ernst L. Presman

Evaluation Study of Field Irrigation Channels and Field Drains Program, Fachbücher von S. Sridhara, S. Pradeep, S. Sahan...

Life and Public Services of Martin R. Delaney, Fachbücher von Frank A Rollin

Sequential simulation of wheat and Urd using (DSSAT) model version 4.5, Fachbücher von Neeraj Kumar, Suman Kumar, A. S. ...