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.99 €
phone Kontakt phoneWie einkaufen

Formal Methods: Foundations and Applications

25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods: Foundations and Applications Lucas Lima
Libristo-Code: 42074879
Verlag Springer, Berlin, November 2021
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SB... Vollständige Beschreibung
? points 145 b
59.19 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

El mapa de tu talento Ruiz Bachs / Buch Broschur
common.buy 21.09 €
Amanda and the Lost Time (Punjabi Book for Kids- Gurmukhi) Kidkiddos Books / Buch Broschur
common.buy 17.19 €
Samolepková knížka Dobrodružství s Peppou / Buch Buch
common.buy 6.69 €
Dessiner tout de suite et facilement : Le corps humain / Buch Broschur
common.buy 23.59 €
Ozeane Hél?ne Druvert / Buch Hardcover
common.buy 30.00 €
Pharmacopee Des Pauvres Ou Formules Des Medicaments Usuels Dans Le Traitement Des Maladies Du Peuple Jadelot-N / Buch Broschur
common.buy 21.29 €
Zonificacion de Amenaza Por Movimientos En Masa Henry Antonio Pacheco Gil / Buch Broschur
common.buy 82.89 €
Persönlichkeitsentwicklung und Identitätsbildung von Zweisprachigen Karoline Gawrzynski / Buch Broschur
common.buy 71.69 €
Morový stĺp sv. Trojice v Kremnici Daniela Bednářová / Buch Broschur
common.buy 13.49 €
Berufswirklichkeit, Berufserziehung Und Facharbeiterausbildung in Der Industrie Und Speziell in Den Eisenverarbeitenden Industriezweigen Joseph Mathieu / Buch Broschur
common.buy 55.29 €

This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the constructionof high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area.

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: Foundations and Applications
Autor Lucas Lima, Vince Molnár
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2022
Anzahl der Seiten 143
EAN 9783031224751
Libristo-Code 42074879
Verlag Springer, Berlin
Gewicht 240
Abmessungen 155 x 235 x 10

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

Formal Methods for Open Object-Based Distributed Systems Martin Steffen / Buch Broschur
common.buy 53.79 €
Yellow Perils Ross Anthony / Buch Broschur
common.buy 32.99 €
Jeli: Condo For Sale. Dead man not included! MS Mary Jane Forbes / Buch Broschur
common.buy 10.69 €
HOW TO LOSE WEIGHT FAST depending on the secrets of Nature Atheer Jasim Mohammed / Buch Broschur
common.buy 33.59 €
Behind A Mask; Or, A Woman's Power Louisa May Alcott / Buch Broschur
common.buy 13.49 €
Connexion Between Ancient and Modern Romanc William John Courthope / Buch Hardcover
common.buy 27.89 €
Sacred Art of Lovingkindness Rami M. Shapiro / Buch Hardcover
common.buy 21.99 €
Ritual Dynamics and the Science of Ritual Axel Michaels / Buch Hardcover
common.buy 150.69 €
Among the Nootka Gerald Stanley / Buch Broschur
common.buy 11.19 €
Intelligent Information Processing II Qing He / Buch Broschur
common.buy 160.89 €
Various tracts concerning the peerage of Scotland, collected from the public records, original instruments, and authentic manuscripts; to which is ann James Carmichael / Buch Broschur
common.buy 18.69 €
Social Change in Tikopia Raymond Firth / Buch Hardcover
common.buy 316.79 €
Airways Smooth Muscle: Modelling the Asthmatic Response In Vivo Mark A. Giembycz / Buch Broschur
common.buy 53.79 €
How to Thrive in the Digital Age Tom Chatfield / Buch Broschur
common.buy 16.29 €
My Weirdtastic School #1: Miss Banks Pulls Lots of Pranks! Jim Paillot / Buch Broschur
common.buy 6.59 €
Logical Foundations of Mathematics and Computational Complexity Pavel Pudlák / Buch Hardcover
common.buy 192.99 €

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?