Foundations of Software Science and Computational Structures Theoretical Computer Science and General Issues

Foundations of Software Science and Computational Structures Theoretical Computer Science and General Issues 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedings - Lecture Notes in Computer Science

2008 edition

Paperback (18 Mar 2008)

  • $66.17
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 the 11th International Conference on Foundations of Software Science and Computational Structures. It covers theories and methods to support analysis, synthesis, transformation and verification of software systems.

Book information

ISBN: 9783540784975
Publisher: Springer Berlin Heidelberg
Imprint: Springer
Pub date:
Edition: 2008 edition
Language: English
Number of pages: 508
Weight: 801g
Height: 234mm
Width: 156mm
Spine width: 26mm

We recommend

$8.58off

Machine Learning

Kevin P. Murphy

Hardback
Published 18 Sep 2012

Save $8.58

  • RRP $120.85
  • $112.27
Add to basket

$18.14off

AI and Machine Learning for Coders

Laurence Moroney

Paperback
Published 16 Oct 2020

Save $18.14

  • RRP $71.15
  • $53.01
Add to basket

$9.31off

Mathematics for Computer Scientists

Peter Hartmann

Paperback
Published 31 Aug 2023

Save $9.31

  • RRP $80.55
  • $71.24
Add to basket

$7.63off

Computability

George J. Tourlakis

Paperback
Published 03 Aug 2023

Save $7.63

  • RRP $73.84
  • $66.21
Add to basket

$13.37off

Understanding Computation

Arnold L. Rosenberg,...

Paperback
Published 10 Aug 2023

Save $13.37

  • RRP $93.98
  • $80.61
Add to basket

$3.27off

Modern Fortran Explained

Michael Metcalf, Joh...

Paperback
Published 07 Dec 2023

Save $3.27

  • RRP $60.43
  • $57.16
Add to basket

$33.69off

The Logic of Typed Feature Structures

Robert L. Carpenter

Paperback
Published 11 Oct 2005

Save $33.69

  • RRP $57.73
  • $24.04
Add to basket

$0.87off

Introduction to Computation

D. Sannella, M. P. F...

Paperback
Published 20 Jan 2022

Save $0.87

  • RRP $40.27
  • $39.40
Add to basket

$2.69off

Introduction to Probability for Computing

Mor Harchol-Balter

Hardback
Published 28 Sep 2023

Save $2.69

  • RRP $73.84
  • $71.15
Add to basket