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

14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods: Foundations and Applications Adenilso Simao
Libristo-Code: 01659166
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Oktober 2011
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symp... Vollständige Beschreibung
? points 169 b
68.89 € inkl. MwSt.
Externes Lager Wir versenden in 10-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Die Polysaccharide Hans Pringsheim / Buch Broschur
common.buy 91.99 €
SUZUME OFFICIAL VISUAL GUIDE (ARTBOOK VO JAPONAIS) Makoto Shinkai / Buch Broschur
common.buy 36.69 €
2019 ELECCIO GOURMAND. GUIA DE RESTAURANTS I HOTELS DE CATA LLOVELL / Buch Broschur
common.buy 27.29 €
LA MALDICIóN DE JACINTA PICHIMAHUIDA PUENZO / Buch Broschur
common.buy 18.49 €
Top
Mágikus világok Johanna Basford / Buch Broschur
common.buy 12.69 €
Miasto gangow. Ukryte swiaty Rio de Janeiro Czeszumski / Hörbuch MP3
common.buy 7.39 €
Монстр продаж. Как чертовски хорошо продавать и богатеть И. Рызов / Buch Broschur
common.buy 20.99 €
El profesor de inglés Wang Gang / Buch Broschur
common.buy 24.39 €
Die pädagogische Relevanz von Rousseaus "Emil" Anonym / Buch Broschur
common.buy 17.95 €
Das Gehirn Marc Dingman / Buch Hardcover
common.buy 19.99 €
LO QUE APRENDÍ HASTA LOS 30 JORGE LORENZO GUERRERO / Buch Broschur
common.buy 8.29 €
Top
Jak napsat dobrý scénář Syd Field / Buch Hardcover
common.buy 11.19 €
Piensa, es gratis Joaquín Lorente Soler / Buch Broschur
common.buy 20.79 €
Evaluacion de la eficiencia del riego en sistema Enrollador en Amancio Gonzalez Perez Jorge Alfredo / Buch Broschur
common.buy 42.49 €
Pilates und Dehnung. Eine symbiotische Verbindung Stephanie Gebauer / Buch Broschur
common.buy 29.99 €
Gerichtsbarkeit in der Tschechischen Republik Karel Schelle / Buch Broschur
common.buy 49.39 €
Bedeutung des Tai Chi Chuan fur die Gesundheitspravention Maria Theresia Bitterli / Buch Broschur
common.buy 15.95 €
Geometry and Differential Geometry Rafael Artzy / Buch Broschur
common.buy 54.29 €
Produktionseigenarten der chemischen Industrie, ihr Einfluß auf Kalkulation und Programmgestaltung. Bernhard Weblus / Buch Broschur
common.buy 39.09 €
Super M - Mathematik für alle - Östliche Bundesländer und Berlin - 2. Schuljahr Klaus Heinze / Buch Blatt
common.buy 15.69 €
Kameny a hvězdy Václav Cílek / Buch Hardcover
common.buy 13.09 €

This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

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 Adenilso Simao, Carroll Morgan
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2011
Anzahl der Seiten 205
EAN 9783642250316
ISBN 3642250319
Libristo-Code 01659166
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 338
Abmessungen 155 x 235 x 15

Kategorie

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Informationsarchitektur
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

Advanced Methods for Computational Collective Intelligence Geun-Sik Jo / Buch Broschur
common.buy 181.49 €
Mister Rainbow C. S. Boag / Buch Broschur
common.buy 33.69 €
Solar Eclipse Daniel Greene / Buch Broschur
common.buy 9.79 €
The Automobile Green Book Automobile Legal Association / Buch Broschur
common.buy 19.09 €
The Sleep Gas / Buch Broschur
common.buy 19.39 €
I Am Bunter: How to Manipulate Your Humans and Keep Them Firmly Under Your Paw Pippin Mole / Buch Broschur
common.buy 13.59 €
LEGO Star Wars Awesome Vehicles DK / Buch Hardcover
common.buy 16.59 €
Valuing Films L. Hubner / Buch Broschur
common.buy 60.39 €
Pro Angular Adam Freeman / E-Book Adobe ePub DRM
common.buy 76.09 €
Aesops Fables Jerry Pinkney / Buch Hardcover
common.buy 17.19 €
Puzzle Ignacio Gonz Li N / Buch Broschur
common.buy 13.79 €
Anti-Disturbance Control for Systems with Multiple Disturbances Songyin Cao / Buch Hardcover
common.buy 318.19 €
READ THE BIBLE SMARTER NOT HARDER CHRISTOPHER R SMITH / Buch Broschur
common.buy 21.99 €
National Uncanny Renee L. Bergland / Buch Broschur
common.buy 27.29 €
Launch Boys' Adventures in Northern Waters Edward Sylvester Ellis / Buch Broschur
common.buy 23.99 €
The World's Fastest Level Up (Manga) Vol. 1 Fame / Buch Broschur
common.buy 11.89 €
Rota Fortunae THIRTEEN O'CL PRESS / Buch Broschur
common.buy 15.19 €
Computer Aided Architectural Design Futures 2001 Bauke de Vries / Buch Hardcover
common.buy 349.89 €
Alice Hugo Vickers / Buch Broschur
common.buy 21.29 €
Biometric Recognition Wei Jia / Buch Broschur
common.buy 107.79 €
Accessible Assessment and Pedagogies Linda J. Graham / Buch Broschur
common.buy 63.69 €

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?