Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Formal Methods Teaching

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

Lingua

Inglese

Libro In brossura

Codice Libristo: 24865028

Casa editrice Springer Nature Switzerland AG, ottobre 2019

This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMT... Descrizione completa

Codice Libristo: 24865028

118 b

48.29 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Technologie renovace budov Oto Makýš

Rigido

14.69 €

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

Rigido

23.99 €

A la tombée de la nuit Audrey Le Maitre

In brossura

10.89 €

El gran juego de los verbos

Carte

16.89 €

Bestiari dels colors BARMAN

In brossura

9.79 €

Vive l'été !

Rigido

15.69 €

Estrategia e Historia militar Hernán Cornut

In brossura

63.69 €

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

In brossura

27.99 €

My Project: The Arabic Project Management Guide for Pmp Exam Preparation Dr Amr Mossalam

In brossura

41.09 €

A Un Buen Fin No Hay Mal Principio William Shakespeare

In brossura

9.29 €

Beitrag zur Geschichte der Universität Leipzig Ernst Gotthelf Gersdorf

In brossura

15.59 €

Autobiographie Und Hagiographie In der Christlichen Antike J. Van Oort

In brossura

46.49 €

Lo esencial en aparato digestivo MEGAN GRIFFITHS

In brossura

46.89 €

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

In brossura

15.79 €

Química : prueba de acceso a ciclos formativos Pérez

In brossura

31.19 €

Der Powerhund Dorothea Werner

In brossura

7.79 €

Erfolgreiches Weinmarketing fur den Export Silke Hömstreit

In brossura

70.59 €

Nationalsozialistische Judenverfolgung in Ostgalizien 1941-1944 Dieter Pohl

In brossura

89.89 €

Kindergedichte Udo Brückmann

In brossura

5.29 €

Paula Modersohn-Becker Barbara Beuys

In brossura

13.39 €

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.