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 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €
phone Kontakt phoneWie einkaufen

Formal Methods: Foundations and Applications

19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods: Foundations and Applications Leila Ribeiro
Libristo-Code: 15195023
Verlag Springer International Publishing AG, November 2016
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SB... Vollständige Beschreibung
? points 125 b
51.54 €
Externes Lager Wir versenden in 5-8 Tagen
Griechenland Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

SPA-RIGBY PM COLECCION Rigby / Buch Hardcover
common.buy 77.07 €
Reglement Pour Les Enfants Qui Frequentent Les Ecoles Chretiennes Derniere Edition "" / Buch Broschur
common.buy 14.32 €
Leber und Galle entgiften und stärken Angela Fetzner / Buch Hardcover
common.buy 19.76 €
Objavujeme svet! RODINA neuvedený autor / Buch Leporello
common.buy 7.35 €
Eduard und Elisabeth bei den Megamikren: oder Die Reise in das Innere unseres Erdballs Giacomo Casanova / Buch Broschur
common.buy 24.91 €
Der Brotdoc: Heimatbrote Julia Ruby Hildebrand / Buch Hardcover
common.buy 25.82 €
LAS LIMITACIONES DE LOS PODERES EM CABEZA PEREIRO / Buch Buch
common.buy 17.34 €
Influencia del Señor Buda en Rabindranath Tagore / Buch Broschur
common.buy 49.73 €
Romeo und Gisela. Ein generationenübergreifendes Theaterstück und geragogisches Praxisbeispiel Veronika Siegrist / Buch Broschur
common.buy 14.42 €
Antony Alexandre Dumas / Buch Broschur
common.buy 6.65 €
Des Diverses Methodes de Traitement Chirurgical Des Nevralgies Du Nerf Maxillaire Inferieur CHARMENSAT-A / Buch Broschur
common.buy 18.25 €
Noc dlouhých nožů Roman Cílek / Buch Broschur
common.buy 5.64 €
Paul Lincke Jan Kutscher / Buch Hardcover
common.buy 44.18 €
Excel 2013 en profundidad María Pérez Marques / Buch Broschur
common.buy 40.85 €
Equidad y políticas públicas en educación y formación básicas : estudio de casos en América Latina, África Subsahariana y Magreb VELEZ DE MEDRANO / Buch Broschur
common.buy 23.70 €
Der Qualit tswettbewerb Im Marktwirtschaftlichen System Friedrich Karl Flick / Buch Broschur
common.buy 52.96 €

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.

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 Leila Ribeiro, Thierry Lecomte
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2016
Anzahl der Seiten 253
EAN 9783319498140
ISBN 3319498142
Libristo-Code 15195023
Verlag Springer International Publishing AG
Gewicht 4044
Abmessungen 155 x 235 x 16

Kategorie

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Informationsarchitektur
EDV und Informationstechnologie > Grafische und digitale Media-Anwendungen > 3D-Grafik und Modellierung
EDV und Informationstechnologie > Computerhardware > Wartung und Reparaturen, IT
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
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
Oxford Bookworms Library: Level 4:: Little Women Louisa May Alcott / Buch Broschur
common.buy 9.68 €
Managing 3rd Party Risk: A Comprehensive Guide to Managing the Risk of Your Vendors, Customers, Partners or Employees Dominic Suszek / Buch Broschur
common.buy 48.52 €
Ostentation Pamelia Barratt / Buch Broschur
common.buy 15.53 €
Jute, Jam & Jessie Jordan ANDREW DAVID DOYLE / Buch Broschur
common.buy 12.80 €
Urfspace Chuck Whelon / Buch Broschur
common.buy 26.22 €
Demnächst
Not Just for This Life: Gough Whitlam Remembered Gary Gray / Buch Broschur
common.buy 21.28 €
German Steamship Pellworm and Other Ships - High Court of Justice Lord Sterndale / Buch Broschur
common.buy 20.47 €
A SPANISH DIARY IN 1882 ALEXANDER KILGOUR / Buch Hardcover
common.buy 38.02 €
THE RAINBOW FEATHER FERGUS HUME / Buch Hardcover
common.buy 35.10 €

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