Print this page
Verification, Model Checking, and Abstract Interpretation Theoretical Computer Science and General Issues

Verification, Model Checking, and Abstract Interpretation Theoretical Computer Science and General Issues 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings - Lecture Notes in Computer Science

2008 edition

Paperback (26 Feb 2008)

  • $61.55
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Check stock

Publisher's Synopsis

This book contains the proceedings of VMCAI 2007. It features current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, and advancement of hybrid methods.

Book information

ISBN: 9783540781622
Publisher: Springer Berlin Heidelberg
Imprint: Springer
Pub date:
Edition: 2008 edition
Language: English
Number of pages: 325
Weight: 522g
Height: 234mm
Width: 156mm
Spine width: 18mm

We recommend

$15.56off

The Art of Agile Development

James Shore, Diana L...

Paperback
Published 26 Oct 2021

Save $15.56

  • RRP $68.10
  • $52.54
Add to basket

$3.23off

Data Analysis With Python and Pyspark

Jonathan Rioux

Paperback
Published 16 Mar 2022

Save $3.23

  • RRP $58.34
  • $55.11
Add to basket

$6.28off

The Pragmatic Programmer

David Thomas, Andrew...

Hardback
Published 02 Dec 2019

Save $6.28

  • RRP $48.82
  • $42.54
Add to basket

$9.58off

The Programmer's Brain

Felienne Hermans

Paperback
Published 15 Dec 2021

Save $9.58

  • RRP $51.40
  • $41.82
Add to basket

$6.88off

Clean Code

Robert C. Martin

Paperback
Published 21 Aug 2008

Save $6.88

  • RRP $50.11
  • $43.23
Add to basket

$2.85off

Clean Architecture

Robert C. Martin

Paperback
Published 20 Sep 2017

Save $2.85

  • RRP $35.97
  • $33.12
Add to basket

$16.77off

Clean Code Cookbook

Maximiliano Contieri

Paperback
Published 29 Sep 2023

Save $16.77

  • RRP $68.10
  • $51.33
Add to basket

$7.45off

Embedded Software System Testing

Yongfeng Yin (author...

Hardback
Published 06 Sep 2023

Save $7.45

  • RRP $100.23
  • $92.78
Add to basket

$3.88off

Raspberry Pi OS System Administration With Systemd

Robert Koretsky

Paperback
Published 22 Nov 2023

Save $3.88

  • RRP $57.82
  • $53.94
Add to basket