Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology

Author: Charles Rattray

Publisher: Springer

Published: 2004-11-11

Total Pages: 578

ISBN-13: 354027815X

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Methodology and Software Technology, AMAST 2004, held in Stirling, Scotland, UK in July 2004. The 35 revised full papers presented together with abstracts of 5 invited talks and an invited paper were carefully reviewed and selected from 63 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, model checking, state machines, rewriting, Kleene algebra, programming logic, etc.

Advanced Functional Programming
Advanced Functional Programming

Author: Johan Jeuring

Publisher: Springer Science & Business Media

Published: 1995-05-15

Total Pages: 350

ISBN-13: 9783540594512

DOWNLOAD EBOOK

This volume presents the tutorials given during the First International Spring School on Advanced Functional Programming Techniques, held in Bastad, Sweden in May 1995. The last few years have seen important new developments in functional programming techniques: concepts, such as monads, type classes, and several new special purpose libraries of higher-order functions are new and powerful methods for structuring programs. This book brings programmers, software engineers and computer scientists up-to-date with the latest techniques. Most tutorial contributions contain exercises to familiarize the reader with the new concepts and techniques, and only basic knowledge in functional programming is assumed.

Users Manual
Users Manual

Author: United States. Environmental Protection Agency. Office of Air Programs

Publisher:

Published: 1968

Total Pages: 304

ISBN-13:

DOWNLOAD EBOOK