Word Power Books

Book Search

A value is required.

Word Power Books
Word Power Books

TOP 10 BOOKS

Word Power Books

Unstated

Scott Hames

£12.99

More Info
Word Power Books

Inspired by Independence

National Collective

£20.00

More Info
Word Power Books

A People's History of Scotland

Chris Bambery

£11.99

More Info
Word Power Books

Yes

James Foley

£9.00

More Info
Word Power Books

Arguing for Independence

Stephen Maxwell

£7.99

More Info
Word Power Books

Something Chronic

Bob Cant

£8.99

More Info
Word Power Books

Outside the Narrative

Tom Leonard

£11.99

More Info
Word Power Books

Scotland Yet

Jack Foster

£13.99

More Info
Word Power Books

Inspiring Women

STUC Women's Committee

£7.99

More Info
Word Power Books

Scottish Independence

Cat Boyd

£6.99

More Info
Word Power Books

Abstract State Machines, Alloy, B, VDM, and Z

 

You are here: Computing & Internet > General Theory Of Computi... > Mathematical Theory Of Co... 

Word Power Books

Abstract State Machines, Alloy, B, VDM, and Z


Elvinia Riccobene (Editor)
Steve Reeves (Editor)
Michael Leuschel (Editor)
Sarfraz Khurshid (Editor)
Stefania Gnesi (Editor)
John S. Fitzgerald (Editor)
John Derrick (Editor)

 

Paperback

ISBN: 9783642308840

 

Availability: This is a print on demand item and it could take up to 6 weeks to be despatched.

 

Our Price: £53.99

RRP £53.99 , Save £0.00

 

0 customer(s) reviewed this product



  • Description
  • Reviews
  • Book Details

Contains the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012.


This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 submissions. The ABZ conference series is dedicated to the cross-fertilization of five related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, VDM, and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems.


 

ISBN 3642308848
ISBN13 9783642308840
Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Format Paperback
Publication date 11/06/2012
Pages 393
Weight (grammes) 554
Published in Germany
Height (mm) 234
Width (mm) 156