Recent Trends in Algebraic Development Techniques Image close
Recent Trends in Algebraic Development Techniques
Recent Trends in Algebraic Development Techniques
Show Hide Adult Content
Recent Trends in Algebraic Development Techniques close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations

Recent Trends in Algebraic Development Techniques

19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$154.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $38.50 with Afterpay Learn more

6 weekly interest-free payments of $25.67 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Requirements Engineering: Foundation for Software Quality
$165.00
Requirements Engineering: Foundation for Software Quality
Paperback / softback
Pre-order - out Tuesday
Advances in Knowledge Discovery and Data Mining
$316.00
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 27 May 2024
Advances in Knowledge Discovery and Data Mining
$264.00
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 27 May 2024
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$205.00
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Constructive Side-Channel Analysis and Secure Design by Romain Wacquez
$140.00
Constructive Side-Channel Analysis and Secure Design
by Romain Wacquez ~ Paperback / softback
Pre-order - out Tuesday
Theory and Applications of Models of Computation
$368.00
Theory and Applications of Models of Computation
Paperback / softback
Pre-order - out 21 May 2024
Discrete Geometry and Mathematical Morphology by Sara Brunetti
$318.00
Discrete Geometry and Mathematical Morphology
by Sara Brunetti ~ Paperback / softback
Pre-order - out 6 Jun 2024
Mes Premieres Constructions de Programmes on Paperback by A. Gerbier
$55.00
Mes Premieres Constructions de Programmes
by A. Gerbier ~ Paperback
Available - Usually ships in 3-4 weeks
Software Engineering Education
$157.00
Software Engineering Education
Paperback / softback
Available - Usually ships in 3-4 weeks
Data Warehousing and Knowledge Discovery
$156.00
Data Warehousing and Knowledge Discovery
Paperback / softback
Available - Usually ships in 3-4 weeks
Dependable Computing - EDCC-1
$304.00
Dependable Computing - EDCC-1
Paperback / softback
Available - Usually ships in 3-4 weeks
Computing in Object-Oriented Parallel Environments
$151.00
Computing in Object-Oriented Parallel Environments
Paperback / softback
Available - Usually ships in 3-4 weeks
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII
$151.00
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII
Paperback / softback
Available - Usually ships in 3-4 weeks
Medical Image Computing and Computer Assisted Intervention – MICCAI 2022
$153.00
Medical Image Computing and Computer Assisted Intervention – MICCAI 2...
Paperback / softback
Available - Usually ships in 3-4 weeks
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries
$321.00
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain...
Paperback / softback
Available - Usually ships in 3-4 weeks
Medical Image Computing and Computer Assisted Intervention – MICCAI 2023 Workshops
$205.00
Medical Image Computing and Computer Assisted Intervention – MICCAI 2...
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008. The 18 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 33 presentations at the workshop. The papers focus on the algebraic approaches to the specification and development of systems, and address topics such as formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations.
Release date NZ
September 7th, 2009
Audience
  • Postgraduate, Research & Scholarly
Contributors
  • Edited by Andrea Corradini
  • Edited by Ugo Montanari
Illustrations
VIII, 343 p.
Pages
343
Dimensions
155x235x18
ISBN-13
9783642034282
Product ID
3903944

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Computers & Internet >
Theory & Design
Books >
Computers & Internet >
Computer Programming
Books >
Computers & Internet >
Computer Applications
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer science
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation >
Maths for computer scientists