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

Selected Poems

Tom Leonard

£9.99

More Info
Word Power Books

21 Revolutions

Adele Patrick

£20.00

More Info
Word Power Books

The Waiting

Regi Claire

£7.99

More Info
Word Power Books

Definite Articles

Tom Leonard

£14.99

More Info
Word Power Books

Arguing for Independence

Stephen Maxwell

£7.49

More Info
Word Power Books

Outside the Narrative

Tom Leonard

£11.99

More Info
Word Power Books

Inspiring Women

STUC Women's Committee

£7.99

More Info
Word Power Books

The Case for Left Wing Nationalism

Stephen Maxwell

£7.49

More Info
Word Power Books

Yes

James Foley

£9.00

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 385
Weight (grammes) 554
Published in Germany
Height (mm) 234
Width (mm) 156