Concur 99 Concurrency Theory 10 1664 1999 3540664254 584s

Main
Concur 99 Concurrency Theory 10 1664...

Concur 99 Concurrency Theory 10 1664 1999 3540664254 584s

Unknown

0 / 0

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

Năm:

2009

Ngôn ngữ:

spanish

ISBN 10:

3540664254

ISBN 13:

9783540664253

File:

FB2 , 3.44 MB

IPFS:

,

spanish, 2009

Đọc online

Hoàn thành chuyển đổi thành trong

Chuyển đổi thành không thành công

Có thể bạn quan tâm

Unknown — Modeling And Verification Of Parallel Processes 4 School Movep 2000 2067 2001 3540427872 227s

Colin Stirling (auth.), Insup Lee, Scott A. Smolka (eds.) — CONCUR '95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 Proceedings

Martín Abadi, Tim Harris (auth.), Mario Bravetti, Gianluigi Zavattaro (eds.) — CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

Jean-Yves Girard (auth.), Bengt Jonsson, Joachim Parrow (eds.) — CONCUR '94: Concurrency Theory: 5th International Conference Uppsala, Sweden, August 22–25, 1994 Proceedings

Nicolas Navet, Stephan Merz — Modeling and Verification of Real-Time Systems: Formalisms and Software Tools

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci — Models and Analysis in Distributed Systems

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci — Models and Analysis for Distributed Systems

Axel Legay, Marius Bozga (eds.) — Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings

Rajeev Alur (auth.), Farn Wang (eds.) — Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto (auth.), Vladimiro Sassone (eds.) — Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Dawson Engler (auth.), Martín Abadi, Luca de Alfaro (eds.) — CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

Gardner P., Yoshida N. — CONCUR 2004 -- Concurrency Theory

Lothar Thiele (auth.), Paul Pettersson, Wang Yi (eds.) — Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings

Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee (auth.), Christel Baier, Holger Hermanns (eds.) — CONCUR 2006 – Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings

Unknown — Modeling And Verification Of Parallel Processes 4 School Movep 2000 2067 2001 3540427872 227s

Jean-Yves Girard (auth.), Bengt Jonsson, Joachim Parrow (eds.) — CONCUR '94: Concurrency Theory: 5th International Conference Uppsala, Sweden, August 22–25, 1994 Proceedings

Edmund M. Clarke Jr. (auth.), Edmund M. Clarke, Robert P. Kurshan (eds.) — Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

Colin Sterling (auth.), Kim G. Larsen, Arne Skou (eds.) — Computer Aided Verification: 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings

Robin Milner (auth.), W.R. Cleaveland (eds.) — CONCUR '92: Third International Conference on Concurrency Theory Stony Brook, NY, USA, August 24–27, 1992 Proceedings

Leslie Lamport (auth.), Gregor von Bochmann, David Karl Probst (eds.) — Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings

Robert K. Brayton (auth.), Costas Courcoubetis (eds.) — Computer Aided Verification: 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings

Gérard Boudol (auth.), Eike Best (eds.) — CONCUR'93: 4th Intrenational Conference on Concurrency Theory Hildesheim, Germany, August 23–26, 1993 Proceedings

Albert Benveniste, Paul Caspi (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.) — A Decade of Concurrency Reflections and Perspectives: REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 Proceedings

Colin Stirling (auth.), Insup Lee, Scott A. Smolka (eds.) — CONCUR '95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 Proceedings

Flaviu Cristian (auth.), Bengt Jonsson, Joachim Parrow (eds.) — Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala, Sweden, September 9–13, 1996 Proceedings

Randal E. Bryant (auth.), Bernhard Steffen (eds.) — Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Moshe Y. Vardi (auth.), Davide Sangiorgi, Robert de Simone (eds.) — CONCUR'98 Concurrency Theory: 9th International Conference Nice, France, September 8–11, 1998 Proceedings

David L. Dill (auth.), Nicolas Halbwachs, Doron Peled (eds.) — Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

Fred B. Schneider (auth.), Luís Caires, Vasco T. Vasconcelos (eds.) — CONCUR 2007 – Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings

Joël Ouaknine, James Worrell (auth.), Franck Cassez, Claude Jard (eds.) — Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

Martín Abadi, Tim Harris (auth.), Mario Bravetti, Gianluigi Zavattaro (eds.) — CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

Parosh Aziz Abdulla (auth.), Joost-Pieter Katoen, Barbara König (eds.) — CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

Từ khóa thường sử dụng nhất