Programming Concepts and Methods PROCOMET ’98 Image close
Programming Concepts and Methods PROCOMET ’98 on Hardback
Programming Concepts and Methods PROCOMET ’98 on Hardback
Show Hide Adult Content
Programming Concepts and Methods PROCOMET ’98 close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming

Programming Concepts and Methods PROCOMET ’98

IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 June 1998, Shelter Island, New York, USA
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Hardback
$575.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 $143.75 with Afterpay Learn more

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

Availability

Delivering to:

Estimated arrival:

  • Around 11-23 July using International Courier

Explore more IFIP Advances in Information and Communication Technology

See all products in this series

VLSI-SoC: Advanced Topics on Systems on a Chip on Hardback
$291.00
VLSI-SoC: Advanced Topics on Systems on a Chip
Hardback
Available - Usually ships in 3-4 weeks
High Performance Networking
$579.00
High Performance Networking
Paperback / softback
Available - Usually ships in 3-4 weeks
Artificial Intelligence Applications and Innovations on Hardback
$516.00
Artificial Intelligence Applications and Innovations
Hardback
Available - Usually ships in 3-4 weeks
Product Lifecycle Management Enabling Smart X
$441.00
Product Lifecycle Management Enabling Smart X
Paperback / softback
Available - Usually ships in 3-4 weeks
Information Technology in Educational Management for the Schools of the Future
$287.00
Information Technology in Educational Management for the Schools of...
Paperback / softback
Available - Usually ships in 3-4 weeks
Semantic Issues in E-Commerce Systems
$290.00
Semantic Issues in E-Commerce Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Intelligence and Its Applications
$489.00
Computational Intelligence and Its Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Artificial Intelligence Applications and Innovations on Hardback
$289.00
Artificial Intelligence Applications and Innovations
Hardback
Available - Usually ships in 3-4 weeks
VLSI-SoC: Design Trends
$365.00
VLSI-SoC: Design Trends
Paperback / softback
Available - Usually ships in 3-4 weeks
Information Technology in Disaster Risk Reduction
$213.00
Information Technology in Disaster Risk Reduction
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer and Computing Technologies in Agriculture II, Volume 2 on Hardback
$458.00
Computer and Computing Technologies in Agriculture II, Volume 2
Hardback
Available - Usually ships in 3-4 weeks
Internet of Things. Technology and Applications
$263.00
Internet of Things. Technology and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Artificial Intelligence for Knowledge Management
$263.00
Artificial Intelligence for Knowledge Management
Paperback / softback
Available - Usually ships in 3-4 weeks
Collaborative Networks for a Sustainable World on Hardback
$306.00
Collaborative Networks for a Sustainable World
Hardback
Available - Usually ships in 3-4 weeks
Cultural Computing on Hardback
$150.00
Cultural Computing
Hardback
Available - Usually ships in 3-4 weeks
Artificial Intelligence for Knowledge Management
$150.00
Artificial Intelligence for Knowledge Management
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This volume presents discussions of the key issues in programming concepts and methods, with a particular emphasis on formal specification, formal verification and mathematical foundations. The PROCOMET '98 workshop covers a number of important topics in this field, including compositional approaches to specification and verification, the design of verification support tools and practical software engineering issues in using programming concepts and methods.
Release date NZ
May 31st, 1998
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
  • Undergraduate
Contributors
  • Edited by David Gries
  • Edited by Willem-Paul De Roever
Illustrations
X, 486 p.
Pages
486
Dimensions
156x234x26
ISBN-13
9780412837609
Product ID
2050672

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 >
Computers & Internet >
Computer Programming
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Databases