Search

Search Constraints

You searched for: Subject Computer programming / software development Publisher Springer

Search Results

5. Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. (2016)

10. Agent based modelling of urban systems : first International Workshop, ABMUS 2016, held in conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, selected, and invited papers /: first International Workshop, ABMUS 2016, held in conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, selected, and invited papers. (2017)