- 0 resultaten
laagste prijs: € 160,49, hoogste prijs: € 444,95, gemiddelde prijs: € 223,66
1
Modern Formal Methods and Applications - Hossam A. Gabbar
bestellen
bij BookDepository.com
€ 160,49
verzending: € 0,001
bestellen
Gesponsorde link
Hossam A. Gabbar:

Modern Formal Methods and Applications - pocketboek

ISBN: 9789048170791

Paperback, [PU: Springer], This book shows the basic concepts of formal methods and highlights modern modifications and enhancements to provide a more robust and efficient problem solving… Meer...

Verzendingskosten:Versandkostenfrei. (EUR 0.00)
2
Modern Formal Methods and Applications als Buch von - Springer
bestellen
bij eBook.de
€ 170,49
bestellen
Gesponsorde link

Springer:

Modern Formal Methods and Applications als Buch von - nieuw boek

2006, ISBN: 9789048170791

Modern Formal Methods and Applications ab 170.49 EURO Softcover reprint of hardcover 1st ed. 2006. Modern Formal Methods and Applications ab 170.49 EURO Softcover reprint of hardcover 1st… Meer...

  - No. 13790796 Verzendingskosten:zzgl. Versandkosten, exclusief verzendingskosten
3
bestellen
bij Biblio.com
$ 522,95
(ongeveer € 444,95)
bestellen
Gesponsorde link
Springer:
Modern Formal Methods and Applications - pocketboek

ISBN: 9789048170791

Springer. Paperback. Good. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May not contain Access Codes or Supplements. Buy with confidence, excellent custo… Meer...

  - Verzendingskosten:exclusief verzendingskosten Books Express
4
Modern Formal Methods and Applications - Hossam A. Gabbar
bestellen
bij lehmanns.de
€ 160,49
verzending: € 0,001
bestellen
Gesponsorde link
Hossam A. Gabbar:
Modern Formal Methods and Applications - pocketboek

2010, ISBN: 9789048170791

Buch, Softcover, Softcover reprint of hardcover 1st ed. 2006, [PU: Springer], Springer, 2010

Verzendingskosten:Versand in 10-14 Tagen. (EUR 0.00)
5
Modern Formal Methods and Applications - Hossam A. Gabbar
bestellen
bij lehmanns.de
€ 181,89
verzending: € 0,001
bestellen
Gesponsorde link
Hossam A. Gabbar:
Modern Formal Methods and Applications - pocketboek

2010, ISBN: 9789048170791

gebonden uitgave

Softcover reprint of hardcover 1st ed. 2006, Softcover, Buch, [PU: Springer]

  - Verzendingskosten:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)

1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.
Bijzonderheden over het boek
Modern Formal Methods and Applications

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.

Gedetalleerde informatie over het boek. - Modern Formal Methods and Applications


EAN (ISBN-13): 9789048170791
ISBN (ISBN-10): 9048170796
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer
224 Bladzijden
Gewicht: 0,364 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2012-06-06T03:40:33+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2021-10-16T12:31:11+02:00 (Amsterdam)
ISBN/EAN: 9789048170791

ISBN - alternatieve schrijfwijzen:
90-481-7079-6, 978-90-481-7079-1


Gegevens van de uitgever

Auteur: Hossam A. Gabbar
Titel: Modern Formal Methods and Applications
Uitgeverij: Springer; Springer Netherland
197 Bladzijden
Verschijningsjaar: 2010-10-19
Dordrecht; NL
Gedrukt / Gemaakt in
Gewicht: 0,454 kg
Taal: Engels
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
XXIII, 197 p.

BC; Previously published in hardcover; Hardcover, Softcover / Chemie; Quanten- und theoretische Chemie; Verstehen; Algorithms; Automat; Unified Modeling Language (UML); architecture; automata; automata theory; formal language; formal languages; formal method; formal specification; linear optimization; modeling; ontology; programming; verification; B; Math. Applications in Chemistry; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Models and Principles; Computational Science and Engineering; Mathematical and Computational Engineering; Mathematical Applications in Chemistry; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Models of Computation; Computational Science and Engineering; Mathematical and Computational Engineering Applications; Chemistry and Materials Science; Theoretische Informatik; Theoretische Informatik; Theoretische Informatik; Numerische Mathematik; Mathematik für Ingenieure; BB

PREFACE; ABOUT THE EDITOR; ABOUT THE AUTHORS; LIST OF FIGURES; LIST OF TABLES; 1 FUNDAMENTALS OF FORMAL METHODS; 1.1 Overview; 1.2 Logic; 1.3 Argument & Proofs ; 1.4 Automata Theory; 1.5 Algorithms; 1.6 Logic Programming; 1.7 Formal Languages; 1.8 Conclusion; 1.9 References; 2 FORMAL METHODS FOR PROCESS SYSTEMS ENGINEERING; 2.1 Introduction; 2.2 Process Systems Engineering; 2.3 Why Formal Language? 2.4 Operation Engineering; 2.5 SOP synthesis; 2.6 Meta-Operation for Master Recipe; 2.7 Control Recipe Generation; 2.8 Conclusion; 2.9 References; 3 FORMAL METHODS FOR PRODUCTION CHAIN MANAGEMENT; 3.1 Introduction; 3.2 Production Chain Operation Framework; 3.3 Formal Representation of OM; 3.4 Case Study Production Chain; 3.5 Conclusions; 3.6 References; 4 FORMALIZING WASTE MANAGEMENT; 4.1 Introduction; 4.2 The Formal Method; 4.3 PSSP Ontology; 4.4 The Universal Properties; 4.5 Central Objects; 4.6 Application to Waste Management; 4.7 What Is Waste Management? 4.8 A Case; 4.9 Discussion; 4.10 Acknowledgement; 4.11 References; 5 FORMAL METHODS FOR MODELING BIOLOGICAL REGULATORY NETWORKS; 5.1 Introduction; 5.2 Qualitative Dynamics of Biological Regulatory Networks; 5.3 Differential Modelling; 5.4 Fonnal Methods; 5.5 Immunity Control in Bacteriophage Lambda; 5.6 Conclusion; 5.7 Acknowledgements; 5.8 References; 6 FORMAL METHODS FOR SPECIFYING AND ANALYZING COMPLEX SOFTWARE SYSTEMS; 6.1 Introduction; 6.2 Formal Specification Techniques; 6.3 Formal Methods for Designing Software Architectures; 6.4 Formal Software Architecture Analysis; 6.5 Related Work; 6.6 Concluding Remarks; 6.7 Acknowledgements; 6.8 References; 7 AN ALGEBRAIC APPROACH TO HARDWARE COMPILATION; 7. 1 Introduction; 7.2 A Language of Communicating Processes; 7.3 Compiling Strategy; 7.4 Handshake Protocol; 7.5 Data Processes; 7.6 Control Processes; 7.7 Hardware Device; 7.8 Conclusion; 7.9 References; 8 FORMAL METHODS FOR UML; 8.1 Introduction; 8.2 From UML to SMV; 8.3 Verification; 8.4 Related work ; 8.5 Conclusions and Future Lines of Work; 8.6 References; INDEX.

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9789048106479 Modern Formal Methods and Applications


< naar Archief...