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 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Formal Methods: Foundations and Applications

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods: Foundations and Applications Simone Cavalheiro
Libristo-Code: 18312709
Verlag Springer International Publishing AG, November 2017
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SB... Vollständige Beschreibung
? points 171 b
69.89 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Strukturwandel der Öffentlichkeit Jürgen Habermas / Buch Broschur
common.buy 22.00 €
Web-Kommunikation MIT Opensource Claus Möbus / Buch Hardcover
common.buy 49.99 €
Dämmersee Ulrike Brauns / Buch Broschur
common.buy 16.00 €
De viaje. Bélgica e Inglaterra Francisco Uzcanga Meinecke / Buch Broschur
common.buy 14.69 €
Mütter Europas Karin Bojs / Buch Hardcover
common.buy 26.00 €
Zulejka otwiera oczy wyd. 2023 Guzel Jachina / Buch Hardcover
common.buy 10.49 €
Il riassorbimento radicolare: Una revisione Parul Bansal / Buch Broschur
common.buy 46.59 €
Untersuchungen ber Die Reaktionszeit Bei Dauerbeobachtung Heinz Schmidtke / Buch Broschur
common.buy 55.29 €
Fondements D'Une Analyse Institutionnelle Comparee Masahiko Aoki / Buch Broschur
common.buy 39.19 €
Top
Oliva Denaro Viola Ardone / Buch Broschur
common.buy 32.19 €
Puzzle 1000 Paryż o świcie / Spiel/Spielzeug Spielzeug
common.buy 6.39 €
INTRODUCCION A LA DINAMICA DE FLUIDOS BATCHELOR / Buch Broschur
common.buy 32.39 €
ITURBIDE DE MEXICO SPENCE ROBERTSON / Buch Buch
common.buy 29.19 €
Un écologiste ne devrait pas dire cela Lesaffre / Buch Broschur
common.buy 16.09 €
5 WALTZES PIANO MUZIO CLEMENTI Buch binding.
common.buy 25.69 €
LES CURATEURS DES CITES DANS LOCCIDENT ROMAIN DE TRAJAN A GALLIEN JACQUES FRANCOIS Buch binding.
common.buy 45.89 €
Valérian, vu par... - Tome 0 - Shingouzlooz Inc Lupano Wilfrid / Buch Hardcover
common.buy 23.09 €
Le Raisonnement de l'ours Vincent Descombes / Buch Broschur
common.buy 32.09 €
Top
Aktfotografie Hannes Caspar / Buch Hardcover
common.buy 39.90 €
Tafsir Ibn Kathir (Urdu): Tafsir Ibn Kathir (Urdu)Surah Qasas, Ankabut, Rome, Luqman, Sajdah, Ahzab Alama Imad Ud Din Ibn Kathir / Buch Broschur
common.buy 15.39 €
DRAZEN PETROVIC JUAN FRANCISCO ESCUDERO / Buch Broschur
common.buy 24.69 €

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017. The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.

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 Simone Cavalheiro, José Fiadeiro
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2017
Anzahl der Seiten 305
EAN 9783319708478
ISBN 3319708473
Libristo-Code 18312709
Verlag Springer International Publishing AG
Gewicht 4803
Abmessungen 155 x 235 x 18

Kategorie

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

Green Technologies and Environmental Sustainability Sanjeev Kumar / Buch Broschur
common.buy 214.29 €
You Choose Stories: Field Trip Mysteries Steve Brezenoff / Buch Hardcover
common.buy 177.09 €
Survival Of Patients Under Chronic HIV Care & Antiretroviral Treatment Tegiste Assefa Ayele / Buch Broschur
common.buy 52.19 €
Move Up the Mountain JOYCE SOUTH BENNETT / Buch Broschur
common.buy 20.09 €
The Holy Bible Douay-Rheims Version, ECCLESIASTICUS Douay Rheims / Buch Broschur
common.buy 9.79 €
Journey to Mars: Blood is Forever Tim Conley / Buch Broschur
common.buy 8.89 €
Wandering Words: A Collection Of Poetry and Humor by Bruce Kilarski Bruce L Kilarski / Buch Broschur
common.buy 13.49 €
Childhood Regained: Canadian Schools Edition Jodie Renner / Buch Broschur
common.buy 16.29 €
The Compassionate Animal: An Interfaith Guide to the Extended Circle of Compassion Barbara Gardner / Buch Broschur
common.buy 17.29 €
Fluffy's Outdoor Adventure Shaley M Elle / Buch Broschur
common.buy 7.49 €
Tennessee 4th Grade ELA Test Prep: Common Core Learning Standards Teachers' Treasures / Buch Broschur
common.buy 20.09 €
Frankie Finds A Friend Paula-Michelle Trotter / Buch Broschur
common.buy 10.69 €
Activating God's Power in Tyler Michelle Leslie / Buch Broschur
common.buy 10.69 €
Shape-Preserving Approximation by Real and Complex Polynomials Sorin G. Gal / Buch Hardcover
common.buy 53.79 €
Man-made Famine in the Ukraine Robert Conquest / Buch Broschur
common.buy 10.39 €
Mickelson Clarified Dictionary of Old Testament Hebrew, MCT Jonathan K. Mickelson / Buch Broschur
common.buy 49.59 €
Living in the World Ronald C. Jantz / Buch Hardcover
common.buy 38.99 €
Marx in Paris, 1871 Olivier Besancenot / Buch Hardcover
common.buy 38.79 €
Animal Crossing Helmer Lud / Buch Broschur
common.buy 12.59 €
Modern Concepts of Peripheral Nerve Repair Kirsten Haastert-Talini / E-Book Adobe ePub DRM
common.buy 109.89 €
Healthy, My Way Nguyen / Buch Hardcover
common.buy 26.19 €
Nurse's Drug Guide 2024 Shields / Buch Broschur
common.buy 90.99 €
Human Resource Management: Gaining a Competitive Advantage 2025 Release ISE John Hollenbeck / Buch Broschur
common.buy 71.69 €
Bespelled Laura Thalassa / Buch Broschur
common.buy 11.39 €

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?