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

13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods: Foundations and Applications Jim Davies
Libristo-Code: 01657595
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, März 2011
This book constitutes the thoroughly refereed post-conference§proceedings of the 13th Brazilian Symp... Vollständige Beschreibung
? points 141 b
57.79 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

La guineu Dubravka Ugresic / E-Book Adobe ePub DRM
common.buy 17.19 €
ONE PIECE 97 (VO JAPONAIS) oda / Buch Broschur
common.buy 12.99 €
Sinfonia alpestre Carlo Linati / E-Book Adobe ePub DRM
common.buy 12.49 €
Manuel de psychologie clinique de la perinatalite Sylvain Missonnier / E-Book Adobe ePub DRM
common.buy 35.09 €
VAMPIRE KNIGHT Pearls 10 Matsuri Hino / Buch Broschur
common.buy 10.00 €
LES MOUVEMENTS NATIONALISTES FRANCAIS 1920-1945 GUIMBERTEAU / Buch Broschur
common.buy 60.69 €
Entwicklung des verbalen Aspekts bei zweisprachigen russisch-deutschen Kindern Daria Rybalov / Buch Broschur
common.buy 17.95 €
Canzone della Strada, 1 Audio-CD uadro Nuevo / Audio Audio CD
common.buy 24.99 €
Giuseppe Verdi Und Das Risorgimento Ein Politischer Mythos Im Prozess Der Nationenbildung Birgit Pauls / Buch Hardcover
common.buy 126.09 €
Suche nach dem Sinn des Lebens Willigis Jäger / Buch Buch
common.buy 16.95 €

This book constitutes the thoroughly refereed post-conference§proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF§2010, held in Natal, Brazil, in November 2010.§The 18 revised full papers were carefully reviewed and selected from§55 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 Jim Davies, Leila Silva, Adenilso Simao
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2011
Anzahl der Seiten 291
EAN 9783642198281
ISBN 3642198287
Libristo-Code 01657595
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 448
Abmessungen 155 x 235 x 19

Kategorie

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Informationsarchitektur
EDV und Informationstechnologie > Computerhardware > Wartung und Reparaturen, IT
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen
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

Lost In Hypertext: Intertextuality in the Television Show Lost Cari Lynn Vaughn / Buch Broschur
common.buy 10.69 €
Massage for Busy People Dawn Groves / E-Book Adobe ePub DRM
common.buy 5.99 €
Biographical History of England, From Egbert the Great to the Revolution James 1723-1776 Granger / Buch Broschur
common.buy 25.89 €
Sermons To The Young (1876) William Bruce / Buch Broschur
common.buy 25.89 €
Proceedings of 3rd International Conference on the Industry 4.0 Model for Advanced Manufacturing Jun Ni / Buch Broschur
common.buy 160.89 €
Live Like Jesus CHRIS CREECH / Buch Broschur
common.buy 14.89 €
Introduction to the Study of English Literature Vida Dutton Scudder / Buch Hardcover
common.buy 41.59 €
Plutarch's Lives. in Six Volumes. Translated from the Greek. with Explanatory and Critical Notes, from Dacier and Others; And a Complete Index. to Whi Plutarch / Buch Broschur
common.buy 33.39 €
Libraries Without Limits: Changing Needs - Changing Roles Suzanne Bakker / Buch Hardcover
common.buy 106.69 €
Virtue and Terror Maximilien Robespierre / Buch Broschur
common.buy 22.09 €

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?