Buy Used and New JoséMeseguer Books

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science / Programming and Software Engineering)

by Manuel Clavel,Francisco Durán,Steven Eker,Patrick Lincoln,Narciso Martí-Oliet,José Meseguer,Carolyn Talcott

ISBN 13: 9783540719403

Format: Paperback (797 pages)
Publisher: Springer
Published: 20 Jul 2007

Save for later

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783540686767

Format: Paperback (810 pages)
Publisher: Springer
Published: 03 Jun 2008

Save for later

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering)

by

ISBN 13: 9783540799795

Format: Paperback (432 pages)
Publisher: Springer
Published: 15 Jul 2008

Save for later

Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday (Lecture Notes in ... / Programming and Software Engineering)

by

ISBN 13: 9783642249327

Format: Paperback (447 pages)
Publisher: Springer
Published: 13 Oct 2011

Save for later