Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer International Publishing AG
SKU: 05147795
Price: 21072 HUF
Availability: InStock
Author: Elvira Albert
ISBN: 9783319101804

11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Elvira Albert

Emil Sekerinski

Language

English

Book Paperback

Libristo code: 05147795

Publishers Springer International Publishing AG, August 2014

This book constitutes the refereed proceedings of the 11th International Conference on Integrated Fo... Full description

Libristo code: 05147795

145 b

21 072 Ft

Low in stock at our supplier Shipping in 11-15 days

Up to 30 days for returns

Customers also purchased

Surrender to the Fantasy Magik Markers

Audio CD

8 344 Ft

Perfektionismus im Schulkontext

Paperback

6 211 Ft

Studio dell'altezza facciale inferiore Mustapha Amad Neto

Paperback

9 781 Ft

Mia Moglie mi Tradisce Lara Steele

Hardback

9 131 Ft

The Grey - Unter Wölfen, 1 Blu-ray Roger Barton

Blu-ray

5 053 Ft

Missa Sancti Amandi, Partitur Joseph Haydn

Sheet music

15 282 Ft

A2 Key for schools Trainer 2

Paperback

15 603 Ft

Storm Child Fountain

Paperback

3 657 Ft

Гендер, культура и фукусимская катастрофа

Hardback

8 257 Ft

Boy's Abyss 11 Nana Umino

Paperback

3 002 Ft

Historia de la Vida del Buscon Llamado Don Pablos: Ejemplo de Vagamundos Y Espejo de Taca Francisco de Quevedo

Paperback

4 934 Ft

Recueil De Contes Populaires Grecs Anonymous

Hardback

13 049 Ft

Le Triomphe de la méthode Fauchere

Hardback

4 472 Ft

Die italienische Plastik Wilhelm Bode

Hardback

49 463 Ft

Jetzt sag ich's Waltraut Haas

Adobe ePub DRM

6 939 Ft

Innovatives Regelungs- und Überwachungssystem zur Schadstoffminderung und Effizienzerhöhung in häuslichen Biomasseheizkesseln. Niro Akbary

Paperback

18 752 Ft

Dopamin Rowena Kong

Paperback

14 353 Ft

Ange Pitou - Tome II: (Les Mémoires d'un médecin) Dumas Alexandre

Paperback

5 922 Ft

POR TIERRAS DE SALAMANCA GRANDE DEL BRIO

Hardback

10 348 Ft

Tajemství stříbrné klisny Julie Wald

Hardback

3 222 Ft

Ya soy mayor y puedo ayudar a los demás LOLL KIRBY

Paperback

6 444 Ft

Promouvoir une agriculture paysanne, écologique et solidaire en Europe BEDE

Paperback

4 806 Ft

This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.