Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Methods: Foundations and Applications

Name: Formal Methods: Foundations and Applications
Brand: Springer International Publishing AG
SKU: 18312709
Price: 62.69 EUR
Availability: InStock
Author: Simone Cavalheiro
ISBN: 9783319708478

Simone Cavalheiro

José Fiadeiro

Sprache

Englisch

Buch Broschur

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

Libristo-Code: 18312709

153 b

62.69 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Untersuchungen ber Die Reaktionszeit Bei Dauerbeobachtung Heinz Schmidtke

Broschur

54.99 €

Mütter Europas Karin Bojs

Hardcover

26.00 €

Zulejka otwiera oczy wyd. 2023 Guzel Jachina

Hardcover

8.49 €

Il riassorbimento radicolare: Una revisione Parul Bansal

Broschur

41.39 €

Le Raisonnement de l'ours Vincent Descombes

Broschur

25.89 €

Web-Kommunikation MIT Opensource Claus Möbus

Hardcover

49.99 €

Strukturwandel der Öffentlichkeit Jürgen Habermas

Broschur

22.00 €

Dämmersee Ulrike Brauns

Broschur

16.00 €

Oliva Denaro Viola Ardone

Broschur

17.89 €

INTRODUCCION A LA DINAMICA DE FLUIDOS BATCHELOR

Broschur

27.09 €

ITURBIDE DE MEXICO SPENCE ROBERTSON

Buch

23.89 €

Un écologiste ne devrait pas dire cela Lesaffre

Broschur

14.29 €

5 WALTZES PIANO MUZIO CLEMENTI Buch

binding.

20.49 €

LES CURATEURS DES CITES DANS LOCCIDENT ROMAIN DE TRAJAN A GALLIEN JACQUES FRANCOIS Buch

binding.

37.29 €

Valérian, vu par... - Tome 0 - Shingouzlooz Inc Lupano Wilfrid

Hardcover

18.39 €

De viaje. Bélgica e Inglaterra Francisco Uzcanga Meinecke

Broschur

12.19 €

Aktfotografie Hannes Caspar

Hardcover

39.90 €

DRAZEN PETROVIC JUAN FRANCISCO ESCUDERO

Broschur

20.59 €

Tafsir Ibn Kathir (Urdu): Tafsir Ibn Kathir (Urdu)Surah Qasas, Ankabut, Rome, Luqman, Sajdah, Ahzab Alama Imad Ud Din Ibn Kathir

Broschur

15.39 €

Fondements D'Une Analyse Institutionnelle Comparee Masahiko Aoki

Broschur

31.79 €

Das Café im Süden der Stadt Wolfgang Lager

Broschur

11.25 €

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

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