Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Formal Methods Teaching

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Methods Teaching Brijesh Dongol
Libristo-code: 24865028
Uitgeverij Springer Nature Switzerland AG, oktober 2019
This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMT... Volledige beschrijving
? points 125 b
51.68 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Estudios sobre la "Crítica del juicio" Villacañas / Boek Gebonden (paperback)
common.buy 18.10 €
Lo esencial en aparato digestivo MEGAN GRIFFITHS / Boek Gebonden (paperback)
common.buy 54.21 €
Autobiographie Und Hagiographie In der Christlichen Antike J. Van Oort / Boek Gebonden (paperback)
common.buy 53.60 €
Bibliotheque Veterinaire Ou Collection Des Principaux Memoires Publies Sur Les Differentes Branches Onésime Delafond / Boek Gebonden (paperback)
common.buy 31.15 €
Estrategia e Historia militar Hernán Cornut / Boek Gebonden (paperback)
common.buy 68.47 €
A la tombée de la nuit Audrey Le Maitre / Boek Gebonden (paperback)
common.buy 10.51 €
El gran juego de los verbos / Boek Gebonden (paperback)
common.buy 26.39 €
Bestiari dels colors BARMAN / Boek Gebonden (paperback)
common.buy 11.72 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal Methods Teaching
Auteur Brijesh Dongol, Luigia Petre, Graeme Smith
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2019
Aantal pagina's 245
EAN 9783030324407
Libristo-code 24865028
Uitgeverij Springer Nature Switzerland AG
Gewicht 454
Afmetingen 155 x 235 x 15

Categorieën

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Expressions of Drunkenness (Four Hundred Rabbits) Anne Fox / Boek Gebonden (harde band)
common.buy 198.66 €
Space Corp. Special Forces I Kevin O'Leary / Boek Gebonden (harde band)
common.buy 27.30 €
Revival: The Quest for God in China (1925) O'Neill / Boek Gebonden (harde band)
common.buy 276.55 €
Rama Llama Ding Dong Textured Paperback Journal Ellie Claire / Boek Gebonden (harde band)
common.buy 12.84 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?