Items related to Formal Methods: Foundations and Applications: 18th...

Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Programming and Software Engineering) - Softcover

 
9783319294728: Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Programming and Software Engineering)

Synopsis

This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015.

The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and evaluation.

"synopsis" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date2016
  • ISBN 10 3319294725
  • ISBN 13 9783319294728
  • BindingPaperback
  • LanguageEnglish
  • Edition number1
  • Number of pages213
  • EditorCornélio Márcio, Roscoe Bill

Buy Used

Condition: As New
Like New
View this item

US$ 33.89 shipping from United Kingdom to U.S.A.

Destination, rates & speeds

Search results for Formal Methods: Foundations and Applications: 18th...

Stock Image

Published by Springer, 2016
ISBN 10: 3319294725 ISBN 13: 9783319294728
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020092687

Contact seller

Buy New

US$ 48.82
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Cornelio, Marcio
Published by Springer 2016-02, 2016
ISBN 10: 3319294725 ISBN 13: 9783319294728
New PF

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

PF. Condition: New. Seller Inventory # 6666-IUK-9783319294728

Contact seller

Buy New

US$ 50.44
Convert currency
Shipping: US$ 21.00
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 10 available

Add to basket

Stock Image

Published by Springer, 2016
ISBN 10: 3319294725 ISBN 13: 9783319294728
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783319294728_new

Contact seller

Buy New

US$ 56.43
Convert currency
Shipping: US$ 16.24
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Bill Roscoe
ISBN 10: 3319294725 ISBN 13: 9783319294728
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking; languages and semantics; refinement andverification; testing and evaluation. 216 pp. Englisch. Seller Inventory # 9783319294728

Contact seller

Buy New

US$ 50.37
Convert currency
Shipping: US$ 26.28
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Bill Roscoe
ISBN 10: 3319294725 ISBN 13: 9783319294728
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking; languages and semantics; refinement andverification; testing and evaluation. Seller Inventory # 9783319294728

Contact seller

Buy New

US$ 50.37
Convert currency
Shipping: US$ 33.90
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Cornelio, Marcio (Editor)/ Roscoe, Bill (Editor)
Published by Springer-Verlag New York Inc, 2016
ISBN 10: 3319294725 ISBN 13: 9783319294728
New Paperback

Seller: Revaluation Books, Exeter, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Brand New. revised edition. 216 pages. 9.25x6.10x0.49 inches. In Stock. Seller Inventory # x-3319294725

Contact seller

Buy New

US$ 74.27
Convert currency
Shipping: US$ 13.56
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Cornélio, Márcio|Roscoe, Bill
ISBN 10: 3319294725 ISBN 13: 9783319294728
New Kartoniert / Broschiert
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefullyreviewed and sele. Seller Inventory # 109674899

Contact seller

Buy New

US$ 46.62
Convert currency
Shipping: US$ 55.98
From Germany to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Bill Roscoe
ISBN 10: 3319294725 ISBN 13: 9783319294728
New Taschenbuch

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Neuware -This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking; languages and semantics; refinement andverification; testing and evaluation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch. Seller Inventory # 9783319294728

Contact seller

Buy New

US$ 50.37
Convert currency
Shipping: US$ 62.85
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Published by Springer, 2016
ISBN 10: 3319294725 ISBN 13: 9783319294728
New Softcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. pp. 213. Seller Inventory # 26378089458

Contact seller

Buy New

US$ 119.54
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: 4 available

Add to basket

Stock Image

Published by Springer, 2016
ISBN 10: 3319294725 ISBN 13: 9783319294728
New Softcover
Print on Demand

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Print on Demand pp. 213. Seller Inventory # 385781805

Contact seller

Buy New

US$ 118.53
Convert currency
Shipping: US$ 8.81
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 4 available

Add to basket

There are 2 more copies of this book

View all search results for this book