Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures /

Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures /

57

書目詳細資料
Main Authors:	International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th : 2006 : Bertinoro, Italy), Cimatti, Alessandro, Bernardo, Marco
格式:
語言:	eng
出版:	Berlin : Springer, 2006
主題:	Formal methods (Computer science) Integrated circuits

相似書籍

Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings /
由: International Conference on Integrated Formal Methods (6th : 2007 : Oxford, England), et al.
出版: (2007)

Understanding formal methods /
由: 273376 Monin, Jean-Francois
出版: (2003)

Modern formal methods and applications /
由: Gabbar, Hossam A
出版: (2006)

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /
由: International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England), et al.
出版: (2005)

Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15/
由: International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.), et al.
出版: (2007)

Formal groups /
由: 316195 Frohlich, A.
出版: (1968)

Formal aspects in security and trust : Fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers /
由: FAST 2006 (2006 : Hamilton, Ont.), et al.
出版: (2007)

Formal groups and applications /
由: 305241 Hazewinkel, Michiel
出版: (1978)

Formal languages and compilation /
由: 437251 Reghizzi, Stefano Crespi
出版: (2009)

Varieties of formal languages /
由: 423861 Pin, J. E., et al.
出版: (1986)

Jewels of formal language theory /
由: 459218 Salomaa, Arto
出版: (1981)

Introduction to formal language theory /
由: 459631 Harrison, Michael A.
出版: (1978)

Recent advances in formal languages and applications /
由: Esik, Zoltan, 1951-, et al.
出版: (2006)

Formal gardens /
由: 316168 Smit, Daan, et al.
出版: (1996)

Formal models and practical tools for information systems design : proceedings/
由: IFTP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, April 17-20, 1979 Oxford, et al.
出版: (1979)

Non-formal education : an alternative to formal system/
由: 418335 Singh, Rajendra Prasad, et al.
出版: (1979)

Modelling of splicing systems using formal language theory /
由: 596254 Fong, Wan Heng, et al.
出版: (2008)

An introduction to formal languages and automata /
由: 205539 Linz, Peter
出版: (2006)

An introduction to formal languages and automata /
由: 205539 Linz, Peter
出版: (2001)

Non-formal education : flexible schooling or participatory education? /
由: Rogers, Alan, 1933-
出版: (2005)

Prosodic properties of formality in spoken Japanese
由: Sherr-Ziarko, E
出版: (2017)

Formal analysis of modern security protocols in current standards
由: Horvat, M
出版: (2015)

Formalizing mathematics in LEAN
由: Liu, Yufei
出版: (2024)

Automato : theoretic aspects of formal power series /
由: 459218 Salomaa, Arto, et al.
出版: (1978)

JFLAP-an interactive formal languages and automata package /
由: 458729 Rodger, Susan H., et al.
出版: (2006)

Personnel Formalization and the Enhancement Of Teamwork: A public–private comparison
由: Chen, Chung-An, et al.
出版: (2016)

Abstractions and formal verification of max-plus linear systems
由: Syifaul Mufid, M
出版: (2021)

A second course in formal languages and automata theory /
由: 262775 Shallit, Jeffrey
出版: (2009)

Theory of finite automata : with an introduction to formal languages /
由: Carroll, John, 1951-, et al.
出版: (1989)

Formal models, languages and applications /
由: 361113 Subramaniam, K. G., et al.
出版: (2006)

Design patterns formalization techniques /
由: Taibi, Toufik, 1969-
出版: (2007)

Formal engineering for industrial software development : using the sofl method /
由: 263222 Liu, Shaoying
出版: (2004)

The formal complexity of natural language /
由: Savitch, Walter
出版: (1987)

Picture languages : formal models for pictures recognition /
由: Rosenfeld, Azriel, 1931-
出版: (1979)

Basic operational generalizations, managerial requirements and issues in the use of non-formal education
由: M. Yassin, Sulaiman
出版: (1982)

Security and cryptography for networks : 5th international conference, SCN 2006, Maiori, Italy, September 6-8, 2006 : proceedings /
由: SCN 2006 (2006 : Maiori, Italy), et al.
出版: (2006)

ECAI 2006 : 17th European Conference on Artificial Intelligence, August 29-September 1, 2006, Riva del Garda, Italy : including Prestigious Applications of Intelligent Systems (PAIS 2006) : proceedings /
由: ECAI 2006 (2006 : Riva, Italy), et al.
出版: (2006)

Do Singaporeans hyperarticulate in formal speech
由: Paca, Angelie Marie Galang
出版: (2024)

A survey of smart contract formal specification and verification
由: Tolmach, Palina, et al.
出版: (2022)

Formal verification of dynamical models via neural synthesis
由: Edwards, A
出版: (2024)