Đang tải...

Mã QR

Verification of systems and circuits uswing LOTOS, Petri, Nets, and CCS

Chi tiết về thư mục
Tác giả chính:	Yoeli, Michael
Định dạng:	Printed Book
Ngôn ngữ:	English
Được phát hành:	New Jersey John Wiley & Sons 2008
Những chủ đề:	Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

Những quyển sách tương tự

Verification of systems and circuits using LOTOS,Petri Nets, and CCS
Bằng: Yoeli, Michael
Được phát hành: (2008)

Foundation of program verification /
Bằng: Loeckx, Jacques
Được phát hành: (1983)

Program construction and verification /
Bằng: Backhouse, Roland C .
Được phát hành: (1986)

Essential software testing: a use-case approach
Bằng: Fournier, Greg; Author
Được phát hành: (2009)

Principles of model checking /
Bằng: Baier, Christel
Được phát hành: (2012)

Current trends in hardware verification and automated theorem proving
Bằng: Current trends in
Được phát hành: (1989)

Program construction and verification
Bằng: Backhouse, Roland C; Author
Được phát hành: (1986)

Validation and Verification techniques for
Bằng: Saxena , P, Dr

Protocol specification, testing and verification
Bằng: Diaz, Michel
Được phát hành: (1986)

Program verification using Ada
Bằng: McGettrick, Andrew D; Author
Được phát hành: (1982)

Confirmation and confirmability /
Bằng: Schlesinger, G.
Được phát hành: (1974)

Disarmament Forum Arms control verification /
Được phát hành: (2010)

Verification of sequential and concurrent programs /
Bằng: Gries, David .
Được phát hành: (1991)

Reconfigurable system design and verification
Bằng: Hsiung, Pao-Ann
Được phát hành: (2009)

Petri nets : fundamental models, verification and applications /
Được phát hành: (2009)

Testing computer software
Bằng: Kaner, Cem
Được phát hành: (2012)

Collection development policy (CDP) in Kerala University Library system: A Study
Bằng: Sureshkumar C and Sukumaran C.

Software testing: principles, techniques and tools
Bằng: Limaye, M G
Được phát hành: (2009)

Challenges of Verification: Smaller states and arms control
Bằng: Gaertner, Heinz
Được phát hành: (1989)

Logic and argument /
Bằng: Kirwan, Christopher
Được phát hành: (1978)

Handbook of materials management
Bằng: GHopalakrishnan,P
Được phát hành: (2009)

Intelligent Task Planning Using Fuzzy Petri nets
Bằng: Cao, Tiehua
Được phát hành: (1996)

Program logics for certified compilers /
Bằng: Appel, Andrew W., 1960-

Software testing foundations : a study guide for the certified tester exam : foundation level, ISTQB compliant /
Bằng: Spillner, Andreas
Được phát hành: (2011)

Verification and validation in systems engineering assessing UML/sysML designed models
Bằng: Debbabi, Mourad...[et.al]
Được phát hành: (2010)

Modeling in systems biology the petri net approach
Bằng: Koch, Ina; ed
Được phát hành: (2011)

Intelligent task planning using fuzzy petri nets /
Bằng: Cao, Tiehua
Được phát hành: (1996)

System modeling and control with resource-oriented Petri nets /
Bằng: Wu, Naiqi
Được phát hành: (2010)

Fault Diagnosis of Digital Systems
Bằng: Chang, Herbert Y and Manning, Eric and Metze, Gernot
Được phát hành: (1970)

Perception of Law community about book pilferage: study of M D university, Rohtak

The economics of software quality /
Bằng: Jones, Capers
Được phát hành: (2012)

USE OF PROGRAMME UMBERTO FOR MODELING INFORMATION FLOW IN PUBLIC ADMINISTRATION
Bằng: ING ROBERT BAT'A
Được phát hành: (2006)

Electronic circuits by system and computer analysis
Bằng: Cornetet, Wendell H
Được phát hành: (1975)

Bappuji karayunnu /
Bằng: Ramankutty, Chunakkara
Được phát hành: (2005)

Straight to the point C#.Net 2005
Bằng: Dinesh Maidasani; Author
Được phát hành: (2009)

Linear integrated circuits
Bằng: Choudhury, D Roy
Được phát hành: (2003)

Introduction to integrated circuits
Bằng: Grinich, Victor H
Được phát hành: (1975)

Linear integrated circuits
Bằng: Young, Thomas
Được phát hành: (1981)

Research methods for graduate business and social science students.
Bằng: Adams, John
Được phát hành: (2007)

Digital concepts using standard integrated circuits
Bằng: Sandige, Richard
Được phát hành: (1978)