Book announcement

Book announcement

[Walter Tholen]

The following book has just appeared with Cambridge University Press:

Maria Cristina Pedicchio, Walter Tholen (editors):

Categorical Foundations
Special Topics in Order, Topology, Algebra, and Sheaf Theory

The Publisher's information blurb is at
http://us.cambridge.org/titles/catalogue.asp?isbn=0521834147

The book grew out of an exchange and cooperation project ("Atlantis")
between two consortia of universities in Canada and Europe. It has eight
independently readable chapters, as follows:

1 Ordered Sets via Adjunction (R. J. Wood)

2 Locales (J. Picado, A. Pultr, A. Tozzi)

3 A Functional Approach to General Topology (M. M. Clementino, E. Giuli,
W. Tholen)

4 Regular, Protomodular, and Abelian Categories (D. Bourn, M. Gran)

5 Aspects of Monads (J. MacDonald, M. Sobral)

6 Algebraic Categories (M.C. Pedicchio, F. Rovatti)

7 Sheaf Theory (C. Centazzo, E. M. Vitale)

8 Beyond Barr Exactness: Effective Descent Morphisms (G. Janelidze, M.
Sobral, W. Tholen)

Book announcement

[Anders Kock]

Dear colleagues,

This is to announce the publication (June 2006) of the Second Edition
of my  book
"Synthetic Differential Geometry". It  contains a retyping of the
First Edition from 1981, but it also contains  comments and
bibliography for some of the development that has taken place in the
field since then.

Bibliographical data:
Anders Kock, "Synthetic Differential Geometry, Second Edition"
London Mathematical Society Lecture Note Series (No. 333),
Cambridge University Press 2006

For further details, see

http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=0521687381

Yours
Anders Kock

Book announcement

[Marta Bunge]

Dear colleagues,

This is to announce the publication, scheduled for October 2006, of our book

Marta Bunge and Jonathon Funk
Singular Coverings of Toposes
Springer LNM 1890
2006

For further details, see
http://www.springer.com/west/home/math?SGWID=4-10042-22-173666512-0

Best wishes,
Marta Bunge


*****************


************************************************
Marta Bunge
Professor Emerita
Dept of Mathematics and Statistics
McGill University
805 Sherbrooke St. West
Montreal, QC, Canada H3A 2K6
Office: (514) 398-3810
Home: (514) 935-3618
marta.bunge@mcgill.ca
http://www.math.mcgill.ca/bunge/
************************************************

Book announcement

[boerger]

                      Egon Boerger and Robert Staerk
       Abstract State Machines. A Method for High-Level System Design and Analysis 


X+438p., Hardcover, EUR 49,95
Springer-Verlag 2003, ISBN 3-540-00702-4
  
The systems engineering method proposed in this book, which is based
on Abstract State Machines (ASMs), guides the development of software
and embedded hardware-software systems seamlessly from requirements
capture to actual implementation and documentation. Within a single
conceptual framework it covers design, verification by reasoning
techniques, and validation by simulation and testing. ASMs improve
current industrial practice by using accurate high-level modeling and
by linking the descriptions at the successive stages of system
development in an organic and efficiently maintainable chain of
rigorous and coherent system models at stepwise-refined abstraction
levels.  

This book combines the features of a textbook and a
handbook. Researchers will find here the most comprehensive
description of ASMs available today and professionals will use it as a
"modeling handbook for the working software engineer." As a textbook
it supports self-study or it can form the basis of a lecture
course. The book is complemented by a CD containing the whole book
text, additional course material, solutions to exercises, and
additional examples.

Lecture notes and additional material are freely available 
at the AsmBook website 

              http://www.di.unipi.it/AsmBook/

Contents: 1. Introduction 2. ASM Design and Analysis Method 3. Basic
ASMs (Ground Model and Refinement Method) 4. Structured ASMs
(Composition Techniques) 5. Synchronous Multi-Agent ASMs
6. Asynchronous Multi-Agent ASMs 7. Universal Specification and
Computation Model 8. Tool Support for ASMs 9. History and Survey of
ASM Research - References

Please order from our web site www.springer.de, from your local
bookseller, or from Springer directly. Orders can also be placed by
sending an email to orders@springer.de .  Shipping charges within
Europe are EUR 5 per book, plus EUR 1.50 for each additional book;
except Germany, Austria, Switzerland EUR 2.50 per order.

Springer GmbH & Co. KG 
Auslieferungs-Gesellschaft
Order Processing 
Haberstraße 7
69126 Heidelberg
Germany
FAX: +49-6221-345-229

See also  http://www.amazon.de/exec/obidos/ASIN/3540007024/
          http://www.amazon.co.uk/exec/obidos/ASIN/3540007024/
          http://www.amazon.com/exec/obidos/ASIN/3540007024/