Compiler Design C Language Programming Software Development Engineering Textbook

Specifying Systems: The TLA+ Language and Tools for Hardware and Software En...

Code: The Hidden Language of Computer Hardware and Software

Software Language Engineering - 9783642194399

Software Language Engineering - 9783642288296

Software Language Engineering - 9783319112442

ADA as a Second Language (McGraw-Hill Series in Software Engineering & Techn...

Software Language Engineering 6th International Conference SLE 20