Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €
phone Kontakt phoneWie einkaufen

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

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods Teaching Brijesh Dongol
Libristo-Code: 24865028
Verlag Springer Nature Switzerland AG, Oktober 2019
This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMT... Vollständige Beschreibung
? points 125 b
51.68 €
Externes Lager Wir versenden in 5-8 Tagen
Griechenland Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Methods Teaching
Autor Brijesh Dongol, Luigia Petre, Graeme Smith
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2019
Anzahl der Seiten 245
EAN 9783030324407
Libristo-Code 24865028
Verlag Springer Nature Switzerland AG
Gewicht 454
Abmessungen 155 x 235 x 15

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Expressions of Drunkenness (Four Hundred Rabbits) Anne Fox / Buch Hardcover
common.buy 207.46 €
Space Corp. Special Forces I Kevin O'Leary / Buch Hardcover
common.buy 28.52 €
Revival: The Quest for God in China (1925) O'Neill / Buch Hardcover
common.buy 288.79 €
Rama Llama Ding Dong Textured Paperback Journal Ellie Claire / Buch Hardcover
common.buy 12.84 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?