Free delivery for orders over 69.99 euro.

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 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Formal Methods Teaching

Name: Formal Methods Teaching
Brand: Springer Nature Switzerland AG
SKU: 24865028
Price: 51.75 EUR
Availability: InStock
Author: Brijesh Dongol
ISBN: 9783030324407

Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Brijesh Dongol

Luigia Petre

Graeme Smith

Language

English

Book Paperback

Libristo code: 24865028

Publishers Springer Nature Switzerland AG, October 2019

This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMT... Full description

Libristo code: 24865028

125 b

51.75 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

El gran juego de los verbos

Paperback

18.02 €

Speech Delivered by Babu Madho Das ... at a General Meeting of the Arya Association Muradabad, Which Had Assembled On 16Th June 1879 to Express Their Madho Das

Hardback

26.93 €

Bestiari dels colors BARMAN

Paperback

10.52 €

A la tombée de la nuit Audrey Le Maitre

Paperback

10.52 €

Paula Modersohn-Becker Barbara Beuys

Paperback

14.47 €

Estrategia e Historia militar Hernán Cornut

Paperback

68.56 €

Bibliotheque Veterinaire Ou Collection Des Principaux Memoires Publies Sur Les Differentes Branches Onésime Delafond

Paperback

31.19 €

Autobiographie Und Hagiographie In der Christlichen Antike J. Van Oort

Paperback

53.67 €

Lo esencial en aparato digestivo MEGAN GRIFFITHS

Paperback

49.62 €

Estudios sobre la "Crítica del juicio" Villacañas

Paperback

16.60 €

Erfolgreiches Weinmarketing fur den Export Silke Hömstreit

Paperback

79.90 €

Kindergedichte Udo Brückmann

Paperback

5.56 €

This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019. The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; Teaching Program Verification; Teaching Program Development; and Effective Teaching Techniques.