Shop all Springer

Recent Trends in Algebraic Development Techniques - (Lecture Notes in Computer Science) by Francesco Parisi-Presicce (Paperback)

Name: Recent Trends in Algebraic Development Techniques - (Lecture Notes in Computer Science) by Francesco Parisi-Presicce (Paperback)
Brand: Springer
SKU: 1011230693
Price: 54.99 USD
Availability: InStock

0 out of 5 stars with 0 reviews

5 Questions

$54.99

In Stock

Free & easy returns

Return this item by mail or in store within 90 days for a full refund.

Eligible for registries and wish lists

Save 5% every day

With Target Circle™ Card

About this item

Details

Highlights

This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Algebraic Development Techniques, WADT '98, held in Tarquinia, Italy, in June 1997.
Author(s): Francesco Parisi-Presicce
444 Pages
Computers + Internet, Software Development & Engineering
Series Name: Lecture Notes in Computer Science

Description

Book Synopsis

This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Algebraic Development Techniques, WADT '98, held in Tarquinia, Italy, in June 1997.This book presents, besides three invited surveys, 21 carefully revised full papers selected from 40 presentations given at the workshop. The algebraic approach to the specification and development of systems, born as a formal method for abstract data types, encompases today the formal design of integrated hardware and software systems, new specification frameworks and a wide range of applications. This book presents the state-of-the-art in the area of algebraic software development.

Specifications

Dimensions (Overall): 9.22 Inches (H) x 6.56 Inches (W) x .91 Inches (D)

Weight: 1.27 Pounds

Suggested Age: 22 Years and Up

Number of Pages: 444

Genre: Computers + Internet

Sub-Genre: Software Development & Engineering

Series Title: Lecture Notes in Computer Science

Publisher: Springer

Theme: General

Format: Paperback

Author: Francesco Parisi-Presicce

Language: English

Street Date: March 11, 1998

TCIN: 1011230693

UPC: 9783540642992

Item Number (DPCI): 247-03-6466

Origin: Made in the USA or Imported

If the item details aren’t accurate or complete, we want to know about it.

Shipping & Returns

Shipping details

Estimated ship dimensions: 0.91 inches length x 6.56 inches width x 9.22 inches height

Estimated ship weight: 1.27 pounds

We regret that this item cannot be shipped to PO Boxes.

This item cannot be shipped to the following locations: American Samoa (see also separate entry under AS), Guam (see also separate entry under GU), Northern Mariana Islands, Puerto Rico (see also separate entry under PR), United States Minor Outlying Islands, Virgin Islands, U.S., APO/FPO, Alaska, Hawaii

Return details

This item can be returned to any Target store or Target.com.

This item must be returned within 90 days of the date it was purchased in store, delivered to the guest, delivered by a Shipt shopper, or picked up by the guest.

See the return policy for complete information.

Q&A (5)

Q: What type of event does this book document?

AI Shopping Assistant - 2 months ago

A: This book documents the proceedings of the 12th International Workshop on Algebraic Development Techniques.
submitted byAI Shopping Assistant - 2 months ago
Ai generated

Q: How many papers are included in this book?

AI Shopping Assistant - 2 months ago

A: The book includes 21 carefully revised full papers selected from 40 presentations at the workshop.
submitted byAI Shopping Assistant - 2 months ago
Ai generated

Q: What is the main focus of this book?

AI Shopping Assistant - 2 months ago

A: The book focuses on the algebraic approach to the specification and development of systems, including hardware and software integration.
submitted byAI Shopping Assistant - 2 months ago
Ai generated