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

Integrated Formal Methods

19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Integrated Formal Methods Nikolai Kosmatov
Libristo-Code: 46583255
Verlag Springer, Berlin, November 2024
This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integr... Vollständige Beschreibung
? points 385 b
157.19 € inkl. MwSt.
50% Chance Wir werden die ganze Welt durchsuchen Wann bekomme ich das Buch?

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Voice over IP M Westphal / Buch Broschur
common.buy 13.99 €
SPA-RIGBY PM COLECCION Rigby / Buch Hardcover
common.buy 80.69 €
Autorem je každý z nás Jitka Malá / Buch Broschur
common.buy 8.69 €

This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.  

The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.

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 Integrated Formal Methods
Autor Nikolai Kosmatov, Laura Kovács
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2025
Anzahl der Seiten 400
EAN 9783031765537
Libristo-Code 46583255
Verlag Springer, Berlin
Gewicht 534
Abmessungen 155 x 235

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
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

Top
Gravity Falls Journal 3 Rob Ronzetti / Buch Hardcover
common.buy 16.29 €
Autoimmune Fix Tom O'bryan / Buch Hardcover
common.buy 22.59 €
Einstein: The Life and Times Ronald W. Clark / Buch Broschur
common.buy 17.89 €
The True Story of Fake News : How Mainstream Media Manipulates Millions Mark Dice / Buch Broschur
common.buy 20.99 €
Someone Had to Do It Amber Brown / Buch Broschur
common.buy 16.49 €
Don't Fix Women Joy Burnford / Buch Broschur
common.buy 18.09 €
Top
[Oshi No Ko], Vol. 2 Aka Akasaka / Buch Broschur
common.buy 11.19 €
The Adventures of Tom Sawyer Mark Twain / Buch Hardcover
common.buy 9.59 €

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?