Passer au contenu principal Passer au contenu du pied de page

Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems

Dan Craigen , Susan Gerhart

13 mai 2021

107,95 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 540 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

318

Publié par: William Andrew Publishing

Dimensions à l’expédition: 10" H x 7" W x 1" L

ISBN: 9780815513629

Innovations in Topology Optimization: With Applications in Materials, Product Design, and Manufacturing

Nikolaos Kladovasilakis Couverture souple
80,50 $
Optimization Methods for Engineering Problems

Dilbagh Panchal Couverture rigide
236,95 $
2 formats offerts
Optimization of Energy Systems

Ibrahim Dinçer Couverture rigide
182,95 $
2 formats offerts
Mechanical Design Optimization Using Advanced Optimization Techniques

R. Venkata Rao Couverture souple
248,50 $
3 formats offerts
Biosensors: Recent advances and mathematical challenges

Margarita Stoytcheva Couverture souple
30,95 $
Advanced Electronic Circuits: Principles, Architectures and Applications on Emerging Technologies

Couverture rigide
201,50 $
Introduction to Geological Uncertainty Management in Reservoir Characterization and Optimization: Robust Optimization and History Matching

Reza Yousefzadeh Couverture souple
72,95 $
2 formats offerts
Satellite Systems: Design, Modeling, Simulation and Analysis

Couverture rigide
201,50 $
Measurements, Modelling and Simulation of Dynamic Systems

Couverture souple
207,95 $
2 formats offerts
Bioelectronic Vision: Retina Models, Evaluation Metrics and System Design

JOAO CARLOS Martins Couverture rigide
182,50 $
Computational Intelligence based Optimization of Manufacturing Process for Sustainable Materials

Deepak Sinwar Couverture rigide
222,50 $
3 formats offerts
Optimization Of Cooling Systems

David Zietlow Couverture souple
72,95 $
Nanotechnology in Construction: Proceedings of the NICOM3

Couverture souple
493,95 $
2 formats offerts
Scientific Argumentation in Biology: 30 Classroom Activities

Victor Sampson Couverture souple
26,99 $
2 formats offerts
Boolean Functions: With Engineering Applications and Computer Programs

Winfried G. Schneeweiss Couverture souple
173,95 $
New Directions in Terahertz Technology

J.m. Chamberlain Couverture souple
321,50 $
2 formats offerts
Applied Optimization Methods For Wireless Networks

Y. Thomas Hou Couverture rigide
77,95 $
Advanced Materials Modelling For Structures

Holm Altenbach Couverture souple
248,50 $
3 formats offerts
Using the Weibull Distribution: Reliability, Modeling, and Inference

John I. McCool Couverture rigide
179,95 $
2 formats offerts
Advanced Spatial Modulation Systems

Anirban Bhowal Couverture rigide
160,95 $
2 formats offerts

Évaluation éditoriale

Auteur

Production Planning and Control for Semiconductor Wafer Fabrication Facilities: Modeling, Analysis, and Systems

Lars Mönch Couverture souple
189,95 $
2 formats offerts
Guide To Efficient Software Design: An Mvc Approach To Concepts, Structures, And Models

David P. Voorhees Couverture rigide
124,50 $
2 formats offerts
An Introduction to Splines for Use in Computer Graphics and Geometric Modeling

Richard H. Bartels Couverture souple
107,95 $
Principles of VLSI System Planning: A Framework for Conceptual Design

Allen M Dewey Couverture souple
220,95 $
2 formats offerts
Information Systems Foundations: Theory Building in Information Systems

Couverture souple
35,91 $
Executive Decision Synthesis: A Sociotechnical Systems Paradigm

Victor Tang Couverture souple
160,95 $
3 formats offerts
An Application Of Automated Theorem Provers To Computer System Security: The Schematic Protection Model

Mitchell David Irwin Hirschfeld Couverture souple
59,00 $
Complex Adaptive Systems: An Introduction to Computational Models of Social Life

John H. Miller Couverture souple
55,00 $
2 formats offerts
Encyclopedia of Computer Science and Technology: Volume 27 - Supplement 12: Artificial Intelligence And Ada To Systems Integration: Concepts: Method

Couverture rigide
497,00 $
2 formats offerts
Modeling by Object-Driven Linear Elemental Relations: A User's Guide For Modler

H.j. Greenberg Couverture souple
248,50 $
2 formats offerts
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers

Robert M. Hierons Couverture rigide
80,50 $
An Introduction to Network Modeling and Simulation for the Practicing Engineer

Jack L. Burbank Couverture souple
107,95 $
2 formats offerts
Network Analysis and Synthesis: A Modern Systems Theory Approach

Brian D O Anderson Couverture souple
38,95 $
Person-Centered Outcome Metrology: Principles and Applications for High Stakes Decision Making

William P. Fisher, Jr. Couverture rigide
248,50 $
2 formats offerts
Developing Modular-oriented Simulation Models Using System Dynamics Libraries

Christian K. Karl Couverture souple
65,95 $
2 formats offerts
Sysml For Systems Engineering: A Model-based Approach

Jon Holt Couverture rigide
247,00 $
Encyclopedia of Computer Science and Technology: Volume 38 - Supplement 23: Algorithms for Designing Multimedia Storage Servers to Models and Architectures

Allen Kent Couverture souple
76,95 $
3 formats offerts
Handbook Of Diagnostic Classification Models: Models And Model Extensions, Applications, Software Packages

Matthias Von Davier Couverture rigide
321,50 $
2 formats offerts
Encyclopedia Of Computer Science And Technology: Volume 31 - Supplement 16: Artistic Computer Graphics To Strategic Information Systems Planning

Couverture rigide
497,00 $
2 formats offerts
Software Verification and Validation: An Engineering and Scientific Approach

Marcus S. Fisher Couverture souple
145,95 $
2 formats offerts