Liknande böcker

Programming Languages and Systems
Bok av Gilles. Barthe
Software Engineering and Formal Methods : 9th International Conference,...
Bok av Gilles. Barthe
Agent-Oriented Software Engineering IX : 9th International Workshop, AOS...
Bok av Michael. Luck
Agent-Oriented Software Engineering V : 5th International Workshop, AOSE...
Bok av James. Odell
A middleware model in alloy for supply chain-wide agent interactions : 1...
Bok av Robrecht Haesevoets
Programming Languages and Systems
Bok av Gilles. Barthe
Programming Languages and Systems : 19th European Symposium on Programmi...
Bok av Andrew D. Gordon
Tools and Algorithms for the Construction and Analysis of Systems : 18th...
Bok av Cormac. Flanagan

Tools and Algorithms for the Construction and Analysis of Systems

Bok av Parosh Aziz. Abdulla