Cargando…

Formal methods in computer system design

Detalles Bibliográficos
Autor principal:	Hoare, C A R
Lenguaje:	eng
Publicado:	CERN 1989
Materias:	XX
Acceso en línea:	https://dx.doi.org/10.5170/CERN-1989-006.1 http://cds.cern.ch/record/367501

Ejemplares similares

Formal Methods in Manufacturing
por: Campos, Javier, et al.
Publicado: (2018)

Formal methods for embedded distributed systems: how to master the complexity
por: Kordon, Fabrice, et al.
Publicado: (1991)

Formal definition in programming, Automata and formal languages
por: Ollongren, Alexander
Publicado: (1976)

An introduction to practical formal methods using temporal logic
por: Fisher, Michael
Publicado: (2011)

Formal methods and software engineering: 17th international conference on formal engineering methods, ICFEM 2015, Paris, France, November 3-5, 2015, proceedings
por: Butler, Michael, et al.
Publicado: (2015)

Formal methods and software engineering: 21st international conference on formal engineering methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, proceedings
por: Ait-Ameur, Yamine, et al.
Publicado: (2019)

Formal methods and software engineering: 16th international conference on formal engineering methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, proceedings
por: Merz, Stephan, et al.
Publicado: (2014)

Formal methods and software engineering: 19th international conference on formal engineering methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, proceedings
por: Duan, Zhenhua, et al.
Publicado: (2017)

Formal methods for real-time computing
Publicado: (1996)

Formal methods in human-computer interaction /
Publicado: (1990)

The handbook of formal methods in human-computer interaction
por: Weyers, Benjamin, et al.
Publicado: (2017)

Formal methods teaching: third international workshop and tutorial, FMTea 2019, held as part of the third world congress on formal methods, FM 2019, Porto, Portugal, october 7, 2019, proceedings
por: Dongol, Brijesh, et al.
Publicado: (2019)

Informal and formal mathematics interventions: cognitive foundations
por: Geary, David C, et al.
Publicado: (2019)

Software design for resilient computer systems
por: Schagaev, Igor, et al.
Publicado: (2019)

Advances in evolutionary computing for system design
por: Palade, Vasile, et al.
Publicado: (2007)

Formal aspects in security and trust: IFIP TC1 WG1. 7 workshop on formal aspects in security and trust (fast), world computer congress, August 22-27, 2004, Toulouse, France
por: Dimitrakos, Theo, et al.
Publicado: (2005)

Editorial: Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology
por: Rosenblueth, David A.
Publicado: (2016)

Hardware design verification: simulation and formal method-based approaches
por: Lam, William K C
Publicado: (2005)

34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems
Publicado: (2014)

On formal solutions in field theories with non-localized interaction
por: Vancura, A
Publicado: (1970)

Express Learning: Automata Theory and Formal Languages
por: Kandar, Shyamalendu
Publicado: (2012)

Unitarity eikonal formalism for multiproduction at high energy
por: Rédei, L B
Publicado: (1973)

Formal methods for industrial critical systems: 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, proceedings
por: Larsen, Kim Guldstrand, et al.
Publicado: (2019)

Formal methods for industrial critical systems: 23rd international conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, proceedings
por: Howar, Falk, et al.
Publicado: (2018)

Formal methods for industrial critical systems: 20th international workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 proceedings
por: Güdemann, Matthias, et al.
Publicado: (2015)

Computational Methods for Electric Power Systems
por: Crow, Mariesa
Publicado: (2015)

Computational Methods for Electromagnetic and Optical Systems
por: Jarem, John, et al.
Publicado: (2016)

Map framework: a formal model of maps as a fundamental data type in information systems
por: McKenney, Mark, et al.
Publicado: (2016)

Thermodynamic formalism and circle homeophormisms with a break-type singularity
por: Dzhalilov, A A, et al.
Publicado: (2002)

Theory and practice of formal methods: essays dedicated to Frank de Boer on the occasion of his 60th birthday
por: Ábrahám, Erika, et al.
Publicado: (2016)

Probability logics: probability-based formalization of uncertain reasoning
por: Ognjanović, Zoran, et al.
Publicado: (2016)

Lorentz analysis of dual-resonance models in operator formalism
por: Combes, J M, et al.
Publicado: (1971)

The Stueckelberg-Peterman formalism in the g $\phi^{4}$ model
por: Petermann, Andreas
Publicado: (1973)

Formal methods for discrete-time dynamical systems
por: Belta, Calin, et al.
Publicado: (2017)

Computational Modeling, Formal Analysis, and Tools for Systems Biology
por: Bartocci, Ezio, et al.
Publicado: (2016)

A Formalized Design Process for Bacterial Consortia That Perform Logic Computing
por: Ji, Weiyue, et al.
Publicado: (2013)

Integrated formal methods: 14th international conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, proceedings
por: Furia, Carlo A, et al.
Publicado: (2018)

The formal development method VDM
por: Lourens, W, et al.
Publicado: (1994)

Formal methods: 14th Brazilian symposium, SBMF 2011, Sao Paulo, September 26-30 2011, proceedings
por: Simao, Adenilso, et al.
Publicado: (2011)

Formal methods: 19th Brazilian symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, proceedings
por: Ribeiro, Leila, et al.
Publicado: (2016)

Cannot write session to /tmp/vufind_sessions/sess_tnvph7ap0fg29bjmtl6o20m4g9