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 point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 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

Formal Methods Teaching

Name: Formal Methods Teaching
Brand: Springer Nature Switzerland AG
SKU: 24865028
Price: 19928 HUF
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

136 b

19 928 Ft

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

7 002 Ft

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

Paperback

11 903 Ft

Bestiari dels colors BARMAN

Paperback

4 211 Ft

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

10 302 Ft

A la tombée de la nuit Audrey Le Maitre

Paperback

4 036 Ft

Estrategia e Historia militar Hernán Cornut

Paperback

26 606 Ft

Paula Modersohn-Becker Barbara Beuys

Paperback

5 623 Ft

Autobiographie Und Hagiographie In der Christlichen Antike J. Van Oort

Paperback

20 280 Ft

Lo esencial en aparato digestivo MEGAN GRIFFITHS

Paperback

19 271 Ft

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

Paperback

6 442 Ft

Kindergedichte Udo Brückmann

Paperback

2 143 Ft

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.