136,27 €
Produit Neuf
Ou 34,07 € /mois
- Livraison à 0,01 €
- Livré entre le 26 mai et le 2 juin
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781852331078_dbm
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Ifm'99 Format Broché - Livre Informatique
0 avis sur Ifm'99 Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Erazer Beast 16 X1 Ultimate (Md 62732) Intel Core Ultra 9 275hx Ordinateur Portable 16" Quad Hd+ 32 Go Ddr5-Sdram 2 To Ssd Nvidia Geforce Rtx 5090 Wi-Fi 6e (802.11ax) Windows 11 Home Noir
Neuf dès 120,22 €
-
Bruegel. The Complete Works
Neuf dès 95,23 €
-
Ocp Oracle Certified Professional Java Se 21 Developer Study Guide
Neuf dès 72,73 €
-
Mies Van Der Rohe
Occasion dès 96,00 €
-
Instability, Skew-T & Hodograph Handbook
Neuf dès 86,43 €
-
Understanding Greek Religion
Neuf dès 71,08 €
-
Marianne North At Kew Gardens
Occasion dès 68,62 €
-
Giorgio Morandi Artista D'europa
Occasion dès 150,00 €
-
The Oxford Handbook Of Latin American History
Neuf dès 80,98 €
-
Lingua Latina Per Se Illustrata Pars I I
Occasion dès 119,17 €
-
Lee Miller: An Exhibition Of Photographs, 1929-1964
Occasion dès 125,00 €
-
David Hockney Paintings (Art & Design)
Occasion dès 78,26 €
-
Hollywood Jewels: Movies, Jewelry, Stars
Occasion dès 131,99 €
-
Calvin Klein
Neuf dès 121,62 €
-
Manuel D'épigraphie Akkadienne - (Signes, Syllabaire, Idéogrammes)
1 avis
Occasion dès 182,60 €
-
David Yarrow
Neuf dès 123,00 €
Occasion dès 192,86 €
-
In The American West 40th Anniversary Edition
1 avis
Neuf dès 80,00 €
Occasion dès 192,09 €
-
The Philip K. Dick Collection
Neuf dès 109,00 €
-
Designed By Peter Saville
1 avis
Occasion dès 99,00 €
-
Financial Markets And Institutions, Global Edition
Neuf dès 117,78 €
Produits similaires
Présentation Ifm'99 Format Broché
- Livre Informatique
Sommaire:
Invited Talks.- A Common Framework for Mixed Hardware/Software Systems.- Proof Systems for Message-Passing Process Calculi (abstract only).- Z/Object-Z + CSP + Real Time.- RT-Z : An Integration of Z and timed CSP.- Towards Real-Time Object-Z.- Overview of the Semantics of TCOZ.- Temporal Logic.- Modular Verification of Dynamic Properties for Reactive Systems.- Modular Formal Specification of Data and Behaviour.- Integration Problems in Telephone Feature Requirements.- Z/Object Z + Behaviour 1.- The Refinement of Event Calculus Models.- Modelling Discrete Behaviour in a Continuous-Time Formalism.- An Object Semantic Model of SOFL.- State Charts.- A Modular Framework for the Integration of Heterogeneous Notations and Tools.- An Approach to the Combination of Formal Description Techniques:State charts and TLA.- Semantic Models & Refinement.- A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems.- On the Refmement and Simulation of Data Types and Processes.- Specifying Component and Context Specification Using Promotion.- Z/Object Z + Behaviour 2.- Model-Checking CSP-OZ Specifications with FDR.- Specifying Interactive Systems in Object-Z and CSP.- Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication.- (Abstract + Action) Systems.- Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development.- Requirements for a Temporal B - Assigning Temporal Meaning to Abstract Machines ... and to Abstract Systems.- Reactive System Refinement of Distributed Systems in B.- The B Method: Behaviour and Retrenchment.- Using a Process Algebra to Control B OPERATIONS.- Retrenchment and Punctured Simulation.- Author Index.
Détails de conformité du produit
Personne responsable dans l'UE