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
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €
phone Kontakt phoneWie einkaufen

Formal Methods and Software Engineering

20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods and Software Engineering Jing Sun
Libristo-Code: 20235109
Verlag Springer Nature Switzerland AG, Oktober 2018
This book constitutes the refereed proceedings of the 20th International Conference on Formal Engine... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

sfida Patrick Süskind / Buch Hardcover
common.buy 16.89 €

This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.

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 and Software Engineering
Autor Jing Sun, Meng Sun
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2018
Anzahl der Seiten 474
EAN 9783030024499
Libristo-Code 20235109
Verlag Springer Nature Switzerland AG
Gewicht 753
Abmessungen 155 x 235 x 27

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Wissensbasierte Systeme, Expertensysteme
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Systemanalyse und -design
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

Republic lato / Buch Broschur
common.buy 16.89 €
Early Christian Thought in its Jewish Context John M. G. BarclayJohn Philip McMurdo Sweet / Buch Broschur
common.buy 58.99 €
Stars Richard Dyer / Buch Broschur
common.buy 53.49 €
The Invisible Organization: How Ingenious CEOs are Creating Thriving, Virtual Companies Mitch Russo / Buch Broschur
common.buy 20.09 €
History Of Whitingham: From Its Organization To The Present Time (1886) Leonard Brown / Buch Hardcover
common.buy 43.59 €
T. LIVII Patavini Historiarum Libri Qui Supersunt Omnes Et Deperditorum Fragmenta: Libri 7 - 23, Volume 2 Titus Livius / Buch Broschur
common.buy 27.89 €

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?