Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007: proceedings

QR Code

Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007: proceedings

Bibliographic Details
Main Author:	Yorav, Karen (Author)
Corporate Author:	International Haifa Verification Conference (3rd : 2007 : Haifa, Israel)
Format:	Book
Published:	Berlin ; New York : Springer , c2008
Series:	Lecture notes in computer science, 0302-9743 4899 LNCS sublibrary. SL 2, Programming and software engineering
Subjects:	Computer input-output equipment > Congresses Computer programs > Verification > Congresses Computer software > Verification > Congresses Software architecture > Congresses

Similar Items

Verification of sequential and concurrent programs
by: Apt, Krzysztof R. , 1949-, et al.
Published: (2009)

Software verification and validation for practitioners and managers
by: Rakitin, Steven R.
Published: (2001)

Rigorous software development : an introduction to program verification
by: Almeida, Jose Bacelar
Published: (2011)

Outline of computer hardware [
by: Somers, Letisha
Published: (2014)

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

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

The indispensable PC hardware book : your hardware questions answered
by: Messmer, Hans-Peter
Published: (1997)

Human-computer interface design
by: Sutcliffe, A. G.
Published: (1995)

History of home computers & retrocomputing [
by: Godwin, Shaquana, et al.
Published: (2014)

Introduction to retrocomputing [
by: Souza, Jaeden
Published: (2014)

The economics of software quality
by: Jones, Capers, et al.
Published: (2012)

PC hardware : a beginner's guide
by: Gilster, Ron
Published: (2001)

Computer peripherals
by: Cook, Barry M., et al.
Published: (1995)

Regional input-output modelling : new developments and interpretations
by: Dewhurst, John H. Ll. [ (John Hugh Llewelyn)] , 1947-, et al.
Published: (1991)

Testing of software and communicating systems : 19th IFIP TC6/WG61 International Conference, TestCom 2007, 7th international workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007 : proceedings
by: Petrenko, Alexandre
Published: (2007)

Software engineering research, management and applications
by: Lee, R. Y. [ (Roger Y.)]
Published: (2008)

History of computing and internet [
by: Mull, Luann, et al.
Published: (2012)

Software architecture : first European conference, ECSA 2007, Madrid, Spain, September 24-26, 2007 : proceedings
by: Oquendo, Flavio , 1958-
Published: (2007)

New trends in software methodologies, tools and techniques
by: Fujita, Hamido, et al.
Published: (2007)

New trends in software methodologies tools and techniques
by: Fujita, Hamido, et al.
Published: (2008)

Cisco ASA configuration [
by: Deal, Richard A.
Published: (2009)

VDM '90 : VDM and Z - formal methods in software development
by: Bjorner, D. [ (Dines)] , 1937-, et al.
Published: (1990)

Multiagent system technologies : 5th German conference, MATES 2007, Leipzig, Germany, September 24-26, 2007 : proceedings
by: Petta, Paolo , 1963-
Published: (2007)

E-commerce and web technologies : 8th international conference, EC-Web 2007, Regensburg, Germany, September 3-7, 2007 : proceedings
by: Psaila, Giuseppe, et al.
Published: (2007)

Object-oriented and internet-based technologies [electronic resource] : 5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World, Net ObjectDays 2004, Erfurt, Germany, September 27-30, 2004 : proceedings
by: Liggesmeyer, Peter, et al.
Published: (2004)

Fast software encryption : 14th international workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007 : revised selected papers
by: Biryukov, Alex
Published: (2007)

Advanced data mining and applications : third international conference, ADMA 2007, Harbin, China, August 6-8, 2007 : proceedings
by: Alhajj, Reda
Published: (2007)

The architecture of computer hardware and system software : an information technology approach
by: Englander, Irv
Published: (2000)

Discovering computers complete : tools, apps, devices, and the impact of technology
by: Vermaat, Misty
Published: (2016)

Selected areas in cryptography : 14th international workshop, SAC 2007, Ottawa, Canada, August 16-17, 2007 : revised selected papers
by: Adams, Carlisle, et al.
Published: (2007)

Software testing
by: Singh, Yogesh , 1966-
Published: (2011)

Information security and privacy : 12th Australasian conference, ACISP 2007, Townsville, Australia, July 2-4, 2007 : proceedings
by: Dawson, Ed [ (Edward)], et al.
Published: (2007)

Software testing techniques : finding the defects that matter
by: Loveland, Scott
Published: (2005)

Software testing as a service
by: Ahmed, Ashfaque
Published: (2010)

Cryptology and network security : 6th International Conference, CANS 2007, Singapore, December 8-10, 2007 : proceedings
by: Bao, Feng , Dr
Published: (2007)

Algorithms and data structures : 10th international workshop, WADS 2007, Halifax, Canada, August 15-17, 2007 : proceedings
by: Dehne, F. [ (Frank)] , 1960-, et al.
Published: (2007)

Computer science -- theory and applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings
by: Diekert, Volker , 1955-, et al.
Published: (2007)

Virtual reality : second international conference, ICVR 2007, held as part of HCI International 2007, Beijing, China, July 22-27, 2007 : proceedings
by: Shumaker, Randall
Published: (2007)

Software engineering & testing : an introduction
by: Agarwal, B. B., et al.
Published: (2010)

How to reduce the cost of software testing
by: Heusser, Matthew, et al.
Published: (2012)