Picture 1 of 1

Stock photo

FME 2003: Formal Methods : International Sympos. Araki, Gnesi, Mandrioli<| - Picture 1 of 1

Lecture Notes in Computer Science Ser.: Fme 2003 - Formal Method : International Symposium of Formal Methods Europe, Pisa, Italy, September 2003 - Proceedings by Stefania Gnesi (2003, Trade Paperback)

baham_books (2707464)

99.5% positive Feedback

Price:

£117.33

Free postage

Estimated delivery Thu, 7 Aug - Thu, 14 Aug

Returns:

30 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.

Condition:

New

Author: Keijiro Araki, Stefania Gnesi, Dion Mandrioli ISBN 10: 3540408282. Edition: 2003 List Price: -. What can you expect depending on book condition?. New: New books are in mint condition, normally sourced directly from publishers.

About this product

Product Identifiers

PublisherSpringer Berlin / Heidelberg

ISBN-103540408282

ISBN-139783540408284

eBay Product ID (ePID)89995251

Product Key Features

Number of PagesXxxiv, 946 Pages

Publication NameFme 2003 - Formal Method : International Symposium of Formal Methods Europe, Pisa, Italy, September 2003 - Proceedings

LanguageEnglish

SubjectProgramming / General, Software Development & Engineering / General, Computer Science, Software Development & Engineering / Systems Analysis & Design

Publication Year2003

TypeTextbook

AuthorStefania Gnesi

Subject AreaComputers

SeriesLecture Notes in Computer Science Ser.

FormatTrade Paperback