Verificationism its history and prospects

Verificationism its history and prospects

Saved in:

Bibliographic Details
Main Author:	Misak, C. J. (Cheryl J)
Format:	Book
Published:	London New York Routledge 1995
Series:	Philosophical issues in science
Subjects:	Verification (Empiricism)
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Empirical musicology aims, methods, prospects
Published: (2004)

Knowledge and justification
Published: (1994)

Empirical knowledge; readings from contemporary sources
Published: (1973)

Systems and software verification model-checking techniques and tools
Published: (2001)

Philosophy of science an anthology
Published: (2007)

THE EXTERNAL AUDIT
by: Anderson, Rodney J. 1935-
Published: (1984)

Hardware design verification simulation and formal method-based approaches
by: Lam, William K. C. 1962-
Published: (2005)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
by: Yoeli, Michael 1917-
Published: (2008)

An introduction to formal program verification
by: Mili, Ali
Published: (1985)

Program verification
by: Francez, Nissim
Published: (1992)

Functional verification coverage measurement and analysis
by: Piziali, Andrew
Published: (2004)

Principles of the Spin model checker
by: Ben-Ari, M.
Published: (2008)

Auditing and orther assurance services
Published: (2007)

Principles of functional verification
by: Meyer, Andreas
Published: (2004)

Program verification fundamental issues in computer science
Published: (1993)

Integrated circuit test engineering modern techniques
by: Grout, Ian
Published: (2006)

Model checking
by: Clarke, E. M. 1945-
Published: (1999)

Standardized functional verification
by: Wiemann, Alan
Published: (2008)

Metric-driven design verification an engineer's and executive's guide to first pass success cHamilton B. Carter, Shankar Hemmady
by: Carter, Hamilton B.
Published: (2007)

Model checking and artificial intelligence 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers
Published: (2007)

Verification methodology manual for SystemVerilog
Published: (2006)

Arms control verification the technologies that make it possible Proceedings of the ...
Published: (1986)

Reconfigurable system design and verification
by: Hsiung, Pao-Ann
Published: (2009)

Hardware and software, verification and testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers
Published: (2007)

Verification, model checking, and abstract interpretation 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings
Published: (2003)

Verification of object-oriented software the KeY approach
Published: (2007)

Hardware verification with SystemVerilog an object-oriented framework
by: Mintz, Mike
Published: (2007)

Software verification and validation an engineering and scientific approach
by: Fisher, Marcus S.
Published: (2007)

Scientific computation with automatic result verification
Published: (1988)

Software reviews and audit handbook
by: Hollocker, Charles P
Published: (1990)

Applied formal verification
by: Perry, Douglas L
Published: (2005)

Software verification and validation realistic project approaches
by: Deutsch, Michael S
Published: (1982)

Software verification and validation for practitioners and managers
by: Rakitin, Steven R

Rigorous software development an introduction to program verification
Published: (2011)

Independent verification and validation a life cycle engineering process for quality software
by: Lewis, Robert O. 1938-
Published: (1992)

Scientific computation with automatic result verification
Published: (1988)

Hardware verification with C++ a practitioner's handbook
by: Mintz, Mike
Published: (2006)

SystemVerilog for verification a guide to learning the testbench language features
by: Spear, Chris
Published: (2006)

Software engineering reviews and audits
by: Summers, Boyd L.
Published: (2011)

Programming logics an introduction to verification and semantics
by: Gumb, Raymond D
Published: (1989)