Verification of sequential and concurrent programs

QR Code

Verification of sequential and concurrent programs

Bibliographic Details
Main Authors:	Apt, Krzysztof R. , 1949- (Author), Boer, Frank S. de (Author), Olderog, Ernst-Rudiger (Author)
Format:	Book
Language:	English
Published:	Dordrecht ; New York : Springer , c2009
Edition:	3rd, extended ed
Series:	Texts in computer science
Subjects:	Computer software > Verification

Similar Items

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

Hardware and software, verification and testing third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007: proceedings
by: Yorav, Karen
Published: (2008)

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

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 economics of software quality
by: Jones, Capers, et al.
Published: (2012)

Concurrent programming on Windows
by: Duffy, Joe , 1980-
Published: (2009)

Concurrent programming in Java design principles and patterns
by: Lea, Doug
Published: (1997)

Introduction to concurrency in programming languages
by: Sottile, Matthew J., et al.
Published: (2010)

Concurrent computing
by: Pauley, Loris
Published: (2014)

Concurrent and real-time programming in Java
by: Wellings, Andrew J.
Published: (2004)

Win32 programming
by: Rector, Brent, et al.
Published: (1997)

Parallel and concurrent computing
by: Pauley, Loris, et al.
Published: (2014)

Fundamentals of sequential and parallel algorithms
by: Berman, Kenneth A., et al.
Published: (1997)

Software product line engineering foundations, principles, and techniques
by: Pohl, Klaus 1960-, et al.
Published: (2005)

Using aspect-oriented programming for trustworthy software development
by: Safonov, V. O. (Vladimir Olegovich)
Published: (2008)

Software development an open source approach
by: De Silva, Chamindra, et al.
Published: (2011)

Error-free software know-how and know-why of program correctness
by: Baber, Robert Laurence
Published: (1991)

Java programming 24-hour trainer
by: Fain, Yakov
Published: (2011)

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

Know all about software [ types, architecture, quality, development & engineering
by: Osborn, Temeka
Published: (2014)

Applications programming in C++
by: Johnsonbaugh, Richard 1941-, et al.
Published: (1999)

Software defect prevention concepts and implementation
by: Kane, Shridhar, et al.
Published: (2003)

Software systems & applications
by: Worsham, Cassidy
Published: (2014)

The engineering of software quality
by: O'Brien, Fergus
Published: (2004)

Windows Forms 2.0 programming
by: Sells, Chris, et al.
Published: (2006)

Java programming for Android developers for dummies
by: Burd, Barry
Published: (2017)

Flexible, reliable software : using patterns and agile development
by: Christensen, Henrik B.
Published: (2010)

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

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

Generating software from specifications
by: Waite, W. M. (William McCastline), et al.
Published: (2006)

Agile software development : evaluating the methods for your organization
by: Koch, Alan S.
Published: (2005)

Perspectives on free and open source software [electronic resource]
by: Feller, Joseph 1972-
Published: (2005)

Practical software project estimation a toolkit for estimating software development effort & duration
by: Hill, Peter R.
Published: (2011)

Concurrency control and recover in database systems
by: Bernstein, Philip A., et al.
Published: (1987)

Effective software maintenance and evolution a reuse-based approach
by: Jarzabek, Stan
Published: (2007)

Software
Published: (1985)

Programming with mobile applications Android, iOS, and Windows Phone 7
by: Duffy, Thomas J.
Published: (2013)

Secure and resilient software requirements, test cases, and testing methods
by: Merkow, Mark S., et al.
Published: (2012)

Open source & computer softwares
by: Bowser, Florentino
Published: (2014)