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

12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods: Foundations and Applications Marcel Vinícius Medeiros Oliveira
Libristo-Code: 01655091
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, November 2009
This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symp... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

NoElle et Lui Alban Bourdy / Buch Broschur
common.buy 11.39 €
Gedichte in hochdeutscher und pfälzischer Mundart Franz von Kobell / Buch Broschur
common.buy 17.79 €
Pierre des fées du Maroc / Buch binding.
common.buy 12.19 €
Hemisferios / Buch Buch
common.buy 8.29 €
Differentialgeometrie, Topologie und Physik Matthias Delbrück / Buch Hardcover
common.buy 85.39 €
Das fröhliche Weihnachtsliederheft Renate Bruce-Weber / Drucksachen Noten
common.buy 16.00 €
La hija del Ganges Raluca Mirela Petrescu / E-Book Adobe ePub DRM
common.buy 9.09 €
Conoce Peru Robin Johnson / Buch Hardcover
common.buy 28.69 €
Le système fiscal international : une construction conceptuelle et pragmatique Giard / Buch Broschur
common.buy 43.59 €
Přerušený klid - Islandská krimi Arnaldur Indridason / Buch Hardcover
common.buy 11.89 €
Demnächst
Comme un mendiant sur les quais de marbre Penblanc / Buch Broschur
common.buy 25.99 €

This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing.§The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination of the development and use of formal methods for the design and verification of computational systems. The symposium provided an opportunity for researchers with a broad range of interests in formal methods for developing computing systems and software to discuss recent developments in this field.

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 Marcel Vinícius Medeiros Oliveira, Jim Woodcock
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2009
Anzahl der Seiten 351
EAN 9783642104510
ISBN 3642104517
Libristo-Code 01655091
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 557
Abmessungen 155 x 235 x 20

Kategorie

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

A General View of Positivism Auguste Comte / Buch Broschur
common.buy 29.49 €
Microserfs & Girlfriend in a Coma Douglas Coupland / Hörbuch MP3
common.buy 12.29 €
Discovery of the South Shetland Islands / The Voyage of the Brig Williams, 1819-1820 and The Journal of Midshipman C.W. Poynter R.J. Campbell / Buch Broschur
common.buy 58.29 €
Pedagogies for the Post-Anthropocene Esther Priyadharshini / Buch Hardcover
common.buy 117.99 €
First Poems Wildie Thayer / Buch Broschur
common.buy 25.89 €
Adventures with Annie Coloring Book Misty Marksberry Merideth / Buch Broschur
common.buy 7.89 €
Taylor's STEM Adventures: Hawaii Mary Payton / Buch Hardcover
common.buy 18.39 €
Book of Hours: The Beguilement of Brother Alphaios J S Anderson / Buch Broschur
common.buy 16.29 €
Generalist Case Management Workbook Marianne Woodside / Buch Broschur
common.buy 83.39 €
Stock Market Trivia Fred Fuld III / Buch Broschur
common.buy 20.09 €
A House Made of Stars Tawnysha Greene / Buch Broschur
common.buy 18.09 €
The Law of electric Wires in Streets and Highways Edward Quinton Keasbey / Buch Broschur
common.buy 19.69 €
Top Ten Jazz Songs To Play On Piano / Buch Broschur
common.buy 23.99 €
Self-Publishing 101 Debbie Elicksen / Buch Broschur
common.buy 16.49 €
ValueSelling Julie Thomas / Buch Broschur
common.buy 18.09 €
Bankers Shane Ross / Buch Broschur
common.buy 27.29 €
Chester Cello Fingering Chart David (University of Toronto) Harrison / Buch Broschur
common.buy 6.69 €
Personality and the Fate of Organizations Robert Hogan / Buch Hardcover
common.buy 215.89 €
Unspoken Word Orlando Trevino / Buch Broschur
common.buy 25.79 €
From the Beginning of Always Bonnie Bachman / Buch Broschur
common.buy 11.89 €
Twenty-Five Years of Emigrant Life in the South of New Zealand. with a Map Adam / Buch Broschur
common.buy 22.79 €
Ocean, the Forest, the Fields Troy R Nelson / Buch Hardcover
common.buy 46.49 €
Environmental Quality US Army Corps of Engineers / Buch Broschur
common.buy 23.99 €
USN Battleship vs IJN Battleship Mark Stille / Buch Broschur
common.buy 20.29 €

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?