Liknande böcker

Agent-Oriented Software Engineering
Bok av Michael J. Wooldridge
Theorem Proving in Higher Order Logics : 13th International Conference,...
Bok av Mark Aagaard
Foundations of software technology and theoretical computer science
Bok av P S Thiagarajan
Handbook of Logic in Computer Science. Volume 5, Logic and Algebraic Met...
Bok av Thomas S. E. Maibaum
Computer Science Logic : 12th International Workshop, CSL'98, Annual Con...
Bok av Katrin Seyr
Implementation and Application of Automata: 5th International Conference...
Bok av Shen Yu
Algebraic Methodology and Software Technology : 13th International Confe...
Bok av Michael. Johnson
Computer Science Logic: 15th International Workshop, CSL 2001 10th Annua...
Bok av Laurent Fribourg

Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS'99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99 Amst

Bok av Wolfgang Thomas