Miklos Biro

Identifiers

Open LibraryOL7984160A

Top Subjects

Programming languages (electronic computers) (1)
Logic, symbolic and mathematical (1)
Software engineering (1)

Books by Miklos Biro

Total count: 2

Abstract State Machines, Alloy, B, TLA, VDM, and Z5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Springer London, Limited2016-01-01
Abstract State Machines, Alloy, B, TLA, VDM, and Z5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Springer2016-05-11