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 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Modern Formal Methods and Applications

Name: Modern Formal Methods and Applications
Brand: Springer
SKU: 01975288
Price: 117.99 EUR
Availability: InStock
Author: Hossam A. Gabbar
ISBN: 9789048170791

Hossam A. Gabbar

Sprache

Englisch

Buch Broschur

Libristo-Code: 01975288

Verlag Springer, Oktober 2010

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

Libristo-Code: 01975288

289 b

117.99 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Ginsterhöhe Julian Mehne

Digital

17.00 €

Meu par de chinelos Aline Matos

Broschur

16.39 €

Человек и его символы. Карл Юнг

Hardcover

36.29 €

Adios, Mister Trump Figueroa

MP3

9.99 €

AI Artificial Intelligence Manoj Kumar Nair

Broschur

10.29 €

Amici di Maria De Filippi Mariam T. Tennoe

Broschur

236.00 €

Equilíbrio da Vida Profissional e Volume de Negócios Intenç?o dos Empregados Mamta Brahmbhatt

Broschur

35.49 €

risveglio dell'umano. Riflessioni da un tempo vertiginoso Julián Carrón

Buch

10.19 €

Le monde byzantin. Tome 2 Cheynet

Broschur

55.89 €

Bizansin Fethi Stefan Zweig

Broschur

13.69 €

Xxxholic 18 Clamp

Broschur

5.19 €

Der kleine Vampir 07. im Jammertal Angela Sommer-Bodenburg

Audio CD

7.99 €

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 - Broschur

Datum der Veröffentlichung 2010

Anzahl der Seiten 197

EAN 9789048170791

ISBN 9048170796

Libristo-Code 01975288

Verlag Springer

Gewicht 362

Abmessungen 160 x 240 x 13

Kategorie

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

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

EDV und Informationstechnologie > Grafische und digitale Media-Anwendungen > Computer-Aided Design (CAD)

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Mathematik und Naturwissenschaften > Chemie

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