formal techniques for computer systems and business processes

Formal Techniques for Computer Systems and Business Processes (PAPERBACK)

By: M. Bravetti (Author) , Mario Bravetti (General editor) , Leila Kloul (General editor) , Mario (EDT) Bravetti (Author) , Leila (EDT) Kloul (Author) | Publisher: Springer Verlag | Released: 15 Nov 2005

R7,942

Available

About the Book

Formal Techniques for Computer Systems And Business Processed

Book Details

ISBN-13:	9783540287018
EAN:	9783540287018
Publisher Date:	15 Nov 2005
Binding:	PAPERBACK
Continuations:	English
Dewey:	004.2
Language:	English
MediaMail:	Y
PrintOnDemand:	N
Series Title:	Lecture Notes in Computer Science
Sub Title:	European Performance Engineering Workshop, EPEW 2005 And Internatoional Workshop On Web Services And Formal Methods, WS-FM 2005, Versailles, France, S

ISBN-10:	3540287019
Publisher:	Springer Verlag
Acedemic Level:	English
Book Type:	English
Depth:	25
Height:	235 mm
LCCN:	2005931522
No of Pages:	348
Returnable:	N
Spine Width:	19 mm
Width:	159 mm