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 :-(

Modern Formal Methods and Applications

Name: Modern Formal Methods and Applications
Brand: Springer-Verlag New York Inc.
SKU: 01416484
Price: 123.4 EUR
Availability: InStock
Author: Hossam A. Gabbar
ISBN: 9781402042225

Hossam A. Gabbar

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01416484

Verlag Springer-Verlag New York Inc., Dezember 2005

Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods... Vollständige Beschreibung

Libristo-Code: 01416484

299 b

123.40 €

Externes Lager in kleiner Menge Wir versenden in 11-15 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

LA REINA DE NADA Holly Black

Hardcover

24.91 €

Fit werden für telc Deutsch C1: Sprachbausteine

Broschur

23.30 €

COMO SOBREVIVIR A LA SEGUNDA GUERRA MUNDIAL EL FISGON HISTORICO

Hardcover

16.84 €

Revolutionen der Neuzeit 1500-1917 Manfred Kossok

Hardcover

138.64 €

Medalist - Band 11 Tsurumaikada

Broschur

7.76 €

Moja gwiazda. Tom 5 Aka Akasaka

Broschur

7.66 €

Spaces SONY CLASSICAL

Audio CD

20.88 €

Bass Room Nenad Vasilic

Audio CD

23.00 €

Die Hygiene Des Wassers Dr. Aug. Gartner

Broschur

48.22 €

Trastornos psiquiátricos y abuso de sustancias RUBIO VALLADOLID

Broschur

65.38 €

Original Gangstas Ben Westhoff

Broschur

24.11 €

Keep On Singing The Kelly Family

Audio CD

13.71 €

69 Haiku ineditos Juan-Jose Reyes Rios

Broschur

16.64 €

808s and Heartbreak Kanye West

Audio CD

8.87 €

Generation YouPorn? Eine sexualpädagogische und ethisch differenzierte Sichtweise auf Pornografie

Broschur

25.02 €

Eutonie Gerda Alexander

Broschur

23.70 €

Die Religion Der Griechen (1914) Ernst Samter

Broschur

24.11 €

MAX RAABE: ICH BIN SCHULD (TTBB VOCAL SCORE) RAABE Buch

binding.

6.65 €

Taška Tradinář

binding.

5.14 €

Catamount. Band 4 Albert Bonneau

Hardcover

14.42 €

Ghashangtarin royaye man - Min aller fineste drom (Persian (Farsi, Dari) - Norwegian) Cornelia Haas

Adobe ePub DRM

5.44 €

Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be formulated in a way that can help to find an appropriate solution. This book shows the basic concepts of formal methods and highlights modern modifications and enhancements to provide a more robust and efficient problem solving tool.Applications are presented from different disciplines such as engineering where the operation of chemical plants is synthesized using formal methods. Computational biology becomes easier and systematic using formal methods. Also, hardware compilation and systems can be managed using formal methods.This book will be helpful for both beginners and experts to get insights and experience on modern formal methods by viewing real applications from different 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 Modern Formal Methods and Applications

Autor Hossam A. Gabbar

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2005

Anzahl der Seiten 197

EAN 9781402042225

ISBN 1402042221

Libristo-Code 01416484

Verlag Springer-Verlag New York Inc.

Gewicht 567

Abmessungen 155 x 235 x 15

Kategorie

Nachschlagewerke, Informationswissenschaften und Interdisziplinäre Themen > Forschung und Information, allgemein > Informationstheorie > Kybernetik und Systemtheorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

Mathematik und Naturwissenschaften > Mathematik > Angewandte Mathematik

Mathematik und Naturwissenschaften > Naturwissenschaften, allgemein > Mathematik für Wissenschaftler

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Technologie, allgemein > Mathematik für Ingenieure

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Mathematik und Naturwissenschaften > Chemie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung

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