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

15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods: Foundations and Applications Rohit Gheyi
Libristo-Code: 01662107
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2012
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SB... Vollständige Beschreibung
? points 121 b
49.49 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Handbuch Der Ziehtechnik Walter Sellin / Buch Broschur
common.buy 55.29 €
Sindicatos, trade-unions y corporaciones Georges Renard / Buch Broschur
common.buy 34.79 €
Der Vertrag von Lissabon Waldemar Hummer / Buch Broschur
common.buy 110.09 €
Die ordentliche Änderungskündigung des Arbeitgebers. Franz X. Wallner / Buch Broschur
common.buy 99.09 €
Česko-anglický slovník spojení: podstatné jméno a sloveso Norah Hronková / Buch Broschur
common.buy 16.89 €
Grenzüberschreitende Titelgeltung in der Europäischen Union. Max Christoph Peiffer / Buch Broschur
common.buy 109.99 €
guerre de 1870, memoires. 8e edition Helmuth von Moltke / Buch Broschur
common.buy 34.29 €
A Química Da Memória: Por Que OS Humanos N?o Devem Comer Carne Carlos L. Partidas / Buch Broschur
common.buy 15.39 €
Kartenspiel: Kommt gut - Das Kartenspiel für mehr Oohs und Aahs Jüne Plã / Spiel/Spielzeug Spiel
common.buy 22.99 €
Petrolejové lampy Jaroslav Havlíček / Buch Broschur
common.buy 5.09 €
Datenvisualisierung boolescher Anfragen Dianqiang Yang / Buch Broschur
common.buy 51.99 €

This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 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 Rohit Gheyi, David Naumann
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2012
Anzahl der Seiten 227
EAN 9783642332951
ISBN 3642332951
Libristo-Code 01662107
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 373
Abmessungen 155 x 235 x 14

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

Hard Bop David H. Rosenthal / Buch Broschur
common.buy 21.29 €
BERSERK OF GLUTTONY V10 V10 / Buch Broschur
common.buy 13.59 €
The Holy Bible Translated From The Latin Vulgate ... The Old Testament First Published By The English College At Douay ... The New Testament At Rheims Anonymous / Buch Hardcover
common.buy 52.39 €
Pollyanna Eleanor H Porter / Buch Broschur
common.buy 10.29 €
Social Communication in Advertising Leiss / Buch Broschur
common.buy 81.39 €
An Oration Delivered Before the Literary Association, on Monday, the Fourth of July, 1836. William B Maclay / Buch Broschur
common.buy 12.49 €
Fractions, Decimals and Percentages Book 4 (Year 4, Ages 8-9) Schofield & Sims / Buch Broschur
common.buy 6.89 €
Essential Nursing Care for Children and Young People Chris Thurston / Buch Hardcover
common.buy 245.99 €
What You Think ADD/ADHD Is, It Isn't Barbara C. Fisher / Buch Hardcover
common.buy 75.49 €
Freshwater Fishing Tips and Techniques Gene Kugach / Buch Broschur
common.buy 17.89 €
Aesthetics and the Theory of Criticism Arnold Isenberg / Buch Broschur
common.buy 44.69 €
Contact with Chaos Michael Z Williamson / Buch Hardcover
common.buy 22.79 €
Journeying Wave Richmal Crompton / Buch Hardcover
common.buy 25.09 €
Piano Exam Pieces 2015 & 2016, Grade 5 / Buch Hardcover
common.buy 19.59 €
Intercultural Issues in Online Communication Verena Wiedmaier / Buch Broschur
common.buy 54.09 €
People's Platform Astra Taylor / Buch Broschur
common.buy 15.49 €
Logic for Concurrency and Synchronisation R.J. De Queiroz / Buch Broschur
common.buy 107.29 €
Planning After Petroleum Jago Dodson / Buch Hardcover
common.buy 245.99 €
Event of Death: a Phenomenological Enquiry I. Leman-Stefanovic / Buch Broschur
common.buy 160.89 €
Italian Renaissance in the German Historical Imagination, 1860-1930 Dr. Martin A. Ruehl / Buch Hardcover
common.buy 104.59 €
Dark Ages and the Age of Gold Russell A. Fraser / Buch Hardcover
common.buy 167.19 €
American History: A Very Short Introduction Paul S Boyer / Buch Broschur
common.buy 11.19 €
Ballad And The Source Rosamond Lehmann / Buch Broschur
common.buy 32.49 €
Interfacing PIC Microcontrollers Martin Bates / Buch Broschur
common.buy 58.89 €

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?