Programming Approach to Formal Methods (McGraw-Hill Internationa

Construction Planning, Equipment, and Methods (McGraw-Hill Series In Civil...

The C Programming Language (Prentice-Hall sof... by Ritchie, Dennis M. Paperback

Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on...

INTERGRATED FORMAL METHODS;18th INTERNATIONAL CONFERENCE IFM 2023 NETHERLANDS

C++ PROGRAMMING FOR LINUX SYSTEMS: CREATE ROBUST ENTERPRISE SOF... Stanimir Luka

Unifying Theories of Programming and Formal Engineering Methods : Internation...