Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

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 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Methods: Foundations and Applications

Name: Formal Methods: Foundations and Applications
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01662107
Price: 47.62 EUR
Availability: InStock
Author: Rohit Gheyi
ISBN: 9783642332951

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

Rohit Gheyi

David Naumann

Sprache

Englisch

Buch Broschur

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

Libristo-Code: 01662107

115 b

47.62 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Handbuch Der Ziehtechnik Walter Sellin

Broschur

53.20 €

Česko-anglický slovník spojení: podstatné jméno a sloveso Norah Hronková

Broschur

15.80 €

Kartenspiel: Kommt gut - Das Kartenspiel für mehr Oohs und Aahs Jüne Plã

Spiel

22.18 €

A Química Da Memória: Por Que OS Humanos N?o Devem Comer Carne Carlos L. Partidas

Broschur

15.60 €

guerre de 1870, memoires. 8e edition Helmuth von Moltke

Broschur

34.75 €

Die Alttertiaren Saugetiere Mitteldeutschlands Nach Den Hallenser Grabungen Im Geiseltal Und Bei Walbeck Johannes Weigelt

Hardcover

119.38 €

Datenvisualisierung boolescher Anfragen Dianqiang Yang

Broschur

49.95 €

Petrolejové lampy Jaroslav Havlíček

Broschur

5.16 €

Sindicatos, trade-unions y corporaciones Georges Renard

Broschur

33.74 €

Der Vertrag von Lissabon Waldemar Hummer

Broschur

106.20 €

Die ordentliche Änderungskündigung des Arbeitgebers. Franz X. Wallner

Broschur

106.10 €

Grenzüberschreitende Titelgeltung in der Europäischen Union. Max Christoph Peiffer

Broschur

127.18 €

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

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

Fractional Partial Differential Equations And Their Numerical Solutions Fenghui Huang

Hardcover

137.31 €

Piano Exam Pieces 2015 & 2016, Grade 5

Hardcover

18.74 €

Journeying Wave Richmal Crompton

Hardcover

25.43 €

Anarchism or Socialism? Joseph V Stalin

Broschur

12.35 €

Hard Bop David H. Rosenthal

Broschur

24.82 €

Aesthetics and the Theory of Criticism Arnold Isenberg

Broschur

45.29 €

Freshwater Fishing Tips and Techniques Gene Kugach

Broschur

18.13 €

What You Think ADD/ADHD Is, It Isn't Barbara C. Fisher

Hardcover

83.80 €

Essential Nursing Care for Children and Young People Chris Thurston

Hardcover

262.48 €

Contact with Chaos Michael Z Williamson

Hardcover

22.39 €

Fractions, Decimals and Percentages Book 4 (Year 4, Ages 8-9) Schofield & Sims

Broschur

6.58 €

An Oration Delivered Before the Literary Association, on Monday, the Fourth of July, 1836. William B Maclay

Broschur

12.66 €

Social Communication in Advertising Leiss

Broschur

82.69 €

Pollyanna Eleanor H Porter

Broschur

10.43 €

Salmon Mark Kurlansky

Hardcover

14.89 €

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

Hardcover

53.10 €