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)

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

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

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)

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

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

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

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

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

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)

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

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)

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)

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

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)

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

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 as a service
by: Ahmed, Ashfaque
Published: (2010)

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 engineering & testing an introduction
by: Agarwal, B. B., et al.
Published: (2010)

Software ecosystem understaning an indispensable technology and industry
by: Messerschmitt, David G., et al.
Published: (2007)

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

Software testing and analysis process, principles, and techniques
by: Pezze, Mauro, et al.
Published: (2008)

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)

Software testing : concepts and practices
by: Mustafa, K., et al.
Published: (2007)

Software
Published: (1985)