Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Davide Sangiorgi, Davide Rutten Sangiorgi, SANGIORGI DAVIDE RUTTEN JAN, Jan Rutten, Jan (Stichting Centrum voor Wiskunde en Informatica (CWI) Rutten, Davide Sangiorgi - Advanced Topics in Bisimulation and Coinduction
Davide Sangiorgi, Davide Rutten Sangiorgi, SANGIORGI DAVIDE RUTTEN JAN, Jan Rutten, Jan (Stichting Centrum voor Wiskunde en Informatica (CWI) Rutten, Davide Sangiorgi Advanced Topics in Bisimulation and Coinduction Inglese 13.10.2011 Copertina rigida Fr. 212.40 1-3 settimane (non disponibile a breve termine)
Milton Israel - Communications and Power
Milton Israel Communications and Power Inglese 19.05.2011 Copertina rigida Fr. 207.60 2-3 settimane (il titolo viene stampato sull'ordine)
A. M. Pitts, Andrew Pitts, Andrew M. Pitts, Andrew M. (University of Cambridge) Pitts, Andrew. M Pitts - Nominal Sets
A. M. Pitts, Andrew Pitts, Andrew M. Pitts, Andrew M. (University of Cambridge) Pitts, Andrew. M Pitts Nominal Sets Inglese 30.05.2013 Copertina rigida Fr. 117.60 2-3 settimane (il titolo viene stampato sull'ordine)
Luke Trainor, Luke (University of Canterbury Trainor - British Imperialism and Australian Nationalism
Luke Trainor, Luke (University of Canterbury Trainor British Imperialism and Australian Nationalism Inglese 01.01.1992 Tascabile Fr. 85.20 2-3 settimane (il titolo viene stampato sull'ordine)
Gerhard Brewka - Nonmonotonic Reasoning
Gerhard Brewka Nonmonotonic Reasoning Inglese 29.03.2012 Tascabile Fr. 82.80 1-3 settimane (non disponibile a breve termine)
Frank de Boer, Willem-Paul Boer De Roever, de Boer Frank, Ulrich Hanneman, Willem-Paul Boer Roever, Willem-Paul De Roever... - Concurrency Verification
Frank de Boer, Willem-Paul Boer De Roever, de Boer Frank, Ulrich Hanneman, Willem-Paul Boer Roever, Willem-Paul De Roever... Concurrency Verification Inglese 26.01.2012 Tascabile Fr. 158.40 2-3 settimane (il titolo viene stampato sull'ordine)
Paul Coates, Dudley Andrew, William Rothman - Gorgon''s Gaze
Paul Coates, Dudley Andrew, William Rothman Gorgon''s Gaze Inglese 26.04.1991 Copertina rigida Fr. 208.80 1-3 settimane (non disponibile a breve termine)
Xavier Richet, Richet Xavier - Hungarian Model
Xavier Richet, Richet Xavier Hungarian Model Inglese 17.08.1989 Copertina rigida Fr. 194.40 1-3 settimane (non disponibile a breve termine)
J. C. M. Baeten, J. C. M. (Technische Universiteit Eindhove Baeten, J. C. M. (Technische Universiteit Eindhoven Baeten, J. C. M. Basten Baeten, T. Basten, T. (Technische Universiteit Eindhoven Basten... - Process Algebra: Equational Theories of Communicating Processes
J. C. M. Baeten, J. C. M. (Technische Universiteit Eindhove Baeten, J. C. M. (Technische Universiteit Eindhoven Baeten, J. C. M. Basten Baeten, T. Basten, T. (Technische Universiteit Eindhoven Basten... Process Algebra: Equational Theories of Communicating Processes Inglese 16.12.2009 Copertina rigida Fr. 145.00 1-3 settimane (non disponibile a breve termine)
William Of Ockham, William, William of Ockham, Arthur Stephen McGrade - William of Ockham: A Short Discourse on Tyrannical Government
William Of Ockham, William, William of Ockham, Arthur Stephen McGrade William of Ockham: A Short Discourse on Tyrannical Government Inglese 20.08.1992 Copertina rigida Fr. 166.90 1-3 settimane (non disponibile a breve termine)
Jon Barwise, Jon (Indiana University) Seligman Barwise, Jon Seligman Barwise, Jerry Seligman - Information Flow
Jon Barwise, Jon (Indiana University) Seligman Barwise, Jon Seligman Barwise, Jerry Seligman Information Flow Inglese 28.08.2008 Tascabile Fr. 116.40 1-3 settimane (non disponibile a breve termine)
Willem-Paul de Roever, Willem-Paul (Christian-Albrechts Univer De Roever, Willem-Paul Engelhardt De Roever, Kai Engelhardt, Willem-Paul Engelhardt Roever - Data Refinement
Willem-Paul de Roever, Willem-Paul (Christian-Albrechts Univer De Roever, Willem-Paul Engelhardt De Roever, Kai Engelhardt, Willem-Paul Engelhardt Roever Data Refinement Inglese 18.12.2008 Tascabile Fr. 116.40 1-3 settimane (non disponibile a breve termine)
L. M. G. Feijs, L. M. G. Jonkers Feijs, Loe M.g. Jonkers Feijs, H. B. M. Jonkers, Feijs L. M. G. - Formal Specification and Design
L. M. G. Feijs, L. M. G. Jonkers Feijs, Loe M.g. Jonkers Feijs, H. B. M. Jonkers, Feijs L. M. G. Formal Specification and Design Inglese 10.11.2005 Tascabile Fr. 102.00 1-3 settimane (non disponibile a breve termine)
S. Mauw, S. (Technische Universiteit Eindhoven Mauw, Sjouke Veltink Mauw, S. Mauw, G. J. Veltink - Algebraic Specification of Communication Protocols
S. Mauw, S. (Technische Universiteit Eindhoven Mauw, Sjouke Veltink Mauw, S. Mauw, G. J. Veltink Algebraic Specification of Communication Protocols Inglese 11.12.2008 Tascabile Fr. 91.20 1-3 settimane (non disponibile a breve termine)
Spivey J. M., J. M. Spivey, J. M. (University of Oxford) Spivey, J.M. Spivey - Understanding Z
Spivey J. M., J. M. Spivey, J. M. (University of Oxford) Spivey, J.M. Spivey Understanding Z Inglese 21.01.2008 Tascabile Fr. 79.20 1-3 settimane (non disponibile a breve termine)
Frank de Boer, Frank de Boer, Willem-Paul de Roever, Willem-Paul Boer De Roever, Ulrich Hanneman, Jozef Hooman... - Concurrency Verification
Frank de Boer, Frank de Boer, Willem-Paul de Roever, Willem-Paul Boer De Roever, Ulrich Hanneman, Jozef Hooman... Concurrency Verification Inglese 26.11.2001 Copertina rigida Fr. 379.20 1-3 settimane (non disponibile a breve termine)
David Basin, David (ETH Zentrum Basin, Alan Bundy, Alan (University of Edinburgh) Bundy, Alan (University of Edinburgh) Basin Bundy, Alan Basin Bundy... - Rippling: Meta-Level Guidance for Mathematical Reasoning
David Basin, David (ETH Zentrum Basin, Alan Bundy, Alan (University of Edinburgh) Bundy, Alan (University of Edinburgh) Basin Bundy, Alan Basin Bundy... Rippling: Meta-Level Guidance for Mathematical Reasoning Inglese 30.06.2005 Copertina rigida Fr. 179.00 1-3 settimane (non disponibile a breve termine)
Roel de Vrijer, Jan Willem Klop, Terese - Term Rewriting Systems
Roel de Vrijer, Jan Willem Klop, Terese Term Rewriting Systems Inglese 20.03.2003 Copertina rigida Fr. 357.70 2-3 settimane (il titolo viene stampato sull'ordine)
T. F. Melham, Thomas F. Melham - Higher Order Logic and Hardware Verification
T. F. Melham, Thomas F. Melham Higher Order Logic and Hardware Verification Inglese 13.04.2012 Copertina rigida Fr. 202.90 2-3 settimane (il titolo viene stampato sull'ordine)
P. Padawitz, Peter Padawitz, C. J. van Rijsbergen, C. J. van Rijsbergen - Deductive and Declarative Programming
P. Padawitz, Peter Padawitz, C. J. van Rijsbergen, C. J. van Rijsbergen Deductive and Declarative Programming Inglese 23.11.2006 Tascabile Fr. 97.20 2-3 settimane (il titolo viene stampato sull'ordine)