The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Michael Butler Books

Results for Michael Butler

Showing 13 to 16 of 16 results
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November ... / Programming and Software Engineering) Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November ... / Programming and Software Engineering) by

Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November ... / Programming and Software Engineering)

by


ISBN 13: 9783540766483

Format: Paperback (387 pages)
Publisher: Springer
Published: 07 Nov 2007

Save for later

 
New : $75.90  
New : $75.90
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (Lecture Notes in Computer ... Computer Science and General Issues) Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (Lecture Notes in Computer ... Computer Science and General Issues) by

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by


ISBN 13: 9783540876021

Format: Paperback (382 pages)
Publisher: Springer
Published: 08 Sep 2008

Save for later

 
New : $69.04  
New : $69.04
Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science / Programming and Software Engineering) Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science / Programming and Software Engineering) by

Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science / Programming and Software Engineering)

by


ISBN 13: 9783540482659

Format: Paperback (413 pages)
Publisher: Springer
Published: 27 Nov 2006

Save for later

 
New : $79.32  
New : $79.32
Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.: 2335 (Lecture Notes in Computer Science) Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.: 2335 (Lecture Notes in Computer Science) by Michael Butler,Kaisa Sere,Luigia Petre

Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.: 2335 (Lecture Notes in Computer Science)

by Michael Butler,Kaisa Sere,Luigia Petre


ISBN 13: 9783540437031

Format: Paperback (416 pages)
Publisher: Springer
Published: 02 May 2002

Save for later

 
New : $91.66  
New : $91.66