Preisvergleich / Suche / Wohnen / Büro / Formal Methods and Software Engineering, Fachbücher von Mark Liu, Kazuhiro Lawford, Shaoying, Ogata
Thumbnail - Formal Methods and Software Engineering, Fachbücher von Mark Liu, Kazuhiro Lawford, Shaoying, Ogata
Formal Methods and Software Engineering, Fachbücher von Mark Liu, Kazuhiro Lawford, Shaoying, Ogata

Formal Methods and Software Engineering, Fachbücher von Mark Liu, Kazuhiro Lawford, Shaoying, Ogata

Abstraction, refinement and evolution.- Formal specification and modeling.- Program analysis.- Formal verification.- Model ch... Mehr erfahren

Sammle bis zu 26 Punkte mit diesem Produkt

Finde die besten Angebote

Bester Preis26 Punkte
Logo - Galaxus

Galaxus

Versandkostenfrei

Lieferzeit: 2-4 Werktage

53,49 €

Versandkostenfrei | Lieferzeit: 2-4 Werktage

Mit dem Preiswecker immer das beste Angebot

Beobachte Preise und erhalte E-Mails, wenn sich etwas ändert.

Ähnliche Produkte

Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Softwar, Fachbücher von Fou...

Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Softwar, Fachbücher von Fou...

1 Angebot

35,00 €

Formal Methods for Open Object-Based Distributed Systems V, Fachbücher von Arend Rensink, Bart Jacobs

Formal Methods for Open Object-Based Distributed Systems V, Fachbücher von Arend Rensink, Bart Jacobs

1 Angebot

106,99 €

Formal Methods for Open Object-Based Distributed Systems, Fachbücher von Alessandro Fantechi, Paolo Ciancarini, Roberto ...

Formal Methods for Open Object-Based Distributed Systems, Fachbücher von Alessandro Fantechi, Paolo Ciancarini, Roberto ...

1 Angebot

213,99 €

Formal Methods for Open Object-Based Distributed Systems, Fachbücher von Marcello M. Bonsangue, Einar Broch Johnsen

Formal Methods for Open Object-Based Distributed Systems, Fachbücher von Marcello M. Bonsangue, Einar Broch Johnsen

1 Angebot

53,49 €

Formal Methods for Components and Objects, Fachbücher von Marcello M. Bonsangue, Reiner Hähnle, Frank S. de Boer, Elena ...

Formal Methods for Components and Objects, Fachbücher von Marcello M. Bonsangue, Reiner Hähnle, Frank S. de Boer, Elena ...

1 Angebot

49,22 €

Formal Methods for Open Object-Based Distributed Systems IV, Fachbücher von Scott F. Smith, Carolyn L. Talcott

Formal Methods for Open Object-Based Distributed Systems IV, Fachbücher von Scott F. Smith, Carolyn L. Talcott

1 Angebot

213,99 €

Formal Methods for Components and Objects, Fachbücher von Marcello M. Bonsangue, Frank S. de Boer, Ferruccio Damiani, Be...

Formal Methods for Components and Objects, Fachbücher von Marcello M. Bonsangue, Frank S. de Boer, Ferruccio Damiani, Be...

1 Angebot

53,49 €

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Elvira Albert, Ivan Lanese

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Elvira Albert, Ivan Lanese

1 Angebot

53,49 €

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Ana Sokolova, Alexey Gotsman

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Ana Sokolova, Alexey Gotsman

1 Angebot

69,54 €

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Luís Caires, Christel Baier

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Luís Caires, Christel Baier

1 Angebot

53,49 €

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Alexandra Silva, Ahmed Bouajjani

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Alexandra Silva, Ahmed Bouajjani

1 Angebot

53,49 €

Critical Systems: Formal Methods and Automated Verification, Fachbücher von Cristina Seceleanu, Laure Petrucci

Critical Systems: Formal Methods and Automated Verification, Fachbücher von Cristina Seceleanu, Laure Petrucci

1 Angebot

53,49 €

Enabling Formal Model-Driven Development with QVT, Fachbücher von Dan Li

Enabling Formal Model-Driven Development with QVT, Fachbücher von Dan Li

1 Angebot

93,90 €

Systems and Software Verification, Fachbücher von M. Bidoit, A. Petit, F. Laroussinie, A. Finkel, B. Berard, P. Schnoebe...

Systems and Software Verification, Fachbücher von M. Bidoit, A. Petit, F. Laroussinie, A. Finkel, B. Berard, P. Schnoebe...

1 Angebot

149,79 €

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Nobuko Yoshida, Jorge A. Pérez

Formal Techniques for Distributed Objects, Components, and Systems, Fachbücher von Nobuko Yoshida, Jorge A. Pérez

1 Angebot

68,48 €

Produktdetails

Abstraction, refinement and evolution.- Formal specification and modeling.- Program analysis.- Formal verification.- Model checking.- Formal approaches to software testing and inspection.- Formal methods for self-adaptive systems.- Formal methods for object-oriented systems.- Formal methods for component-based systems.- Tool development, integration and experiments involving verified systems.- Formal model-based development and code generation. .

Informationen

Lieferzeit:2-4 Werktage
Marke:Springer