Rozoy Brigitte (11 results)
RECHERCHES N° 41 - La politique de l'ignorance - Mathématiques - Enseignement - Société
KALEKA Gérard, LEDOUX Françoise, ROUCHIER André, ROZOY-SENECHAL Brigitte
Published by Paris - 1980, 1980
- Softcover
Seller: Sylvain Paré, Montolieu, FranceSylvain Paré
Contact seller5-star sellerCondition: Used
US$ 8.84
US$ 17.38 shippingShips from France to U.S.A.Quantity: 1 available
Recherches, Paris - 1980. in-8, broché, couverture illustrée, 191 pages Bon état, couverture légèrement insolée - Pour les envois hors de France, la tafication «livre & brochure» pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de vot…re article.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 54.37
US$ 16.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 49.73
US$ 20.68 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
Modeling and Verification of Parallel Processes : 4th Summer School, Movep 2000, Nantes, France, June 19-23, 2000 Revised Tutorial Lectures
Movep 200 (2000 Nantes, France); Jard, Claude (EDT); Rozoy, Brigitte (EDT); Ryan, Mark Dermot (EDT); Cassez, Franck
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 66.64
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
Modeling and Verification of Parallel Processes : 4th Summer School, Movep 2000, Nantes, France, June 19-23, 2000 Revised Tutorial Lectures
Movep 200 (2000 Nantes, France); Jard, Claude (EDT); Rozoy, Brigitte (EDT); Ryan, Mark Dermot (EDT); Cassez, Franck
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 67.72
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Recherches n°41 septembre 1980 - La politique de l'ignorance
Gérard Kaleka, Françoise Ledoux, André Rouchier, Brigitte Rozoy-Sénéchal (textes réunis par)
Published by Recherches, Paris, 1980
- Softcover
Seller: LibrairieLaLettre2, Villefranche de Lauragais, FranceLibrairieLaLettre2
Contact seller4-star sellerCondition: Used - Near fine
US$ 23.56
US$ 40.03 shippingShips from France to U.S.A.Quantity: 1 available
Broché. Condition: Bon état. in-8 Description :191 pp. Dos insolé. Langue : Français Nb de volumes : 1.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 54.14
US$ 70.72 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware… systems.This volume contains tutorials and annotated bibliographies covering the main subjects addressed at MOVEP 2000. The four tutorials deal with Model Checking, Theorem Proving, Composition and Abstraction Techniques, and Timed Systems. Three research papers give detailed views of High-Level Message Sequence Charts, Industrial Applications of Model Checking, and the use of Formal Methods in Security. Finally, four annotated bibliographies give an overview of Infinite State Space Systems, Testing Transition Systems, Fault-Model-Driven Test Derivation, and Mobile Processes.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 51.66
US$ 80.06 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Modeling and Verification of Parallel Processes | 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures | Franck Cassez (u. a.) | Taschenbuch | x | Englisch | 2001 | Springer | EAN 9783540427872 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergarten…str. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 54.14
US$ 26.31 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying softw…are and hardware systems.This volume contains tutorials and annotated bibliographies covering the main subjects addressed at MOVEP 2000. The four tutorials deal with Model Checking, Theorem Proving, Composition and Abstraction Techniques, and Timed Systems. Three research papers give detailed views of High-Level Message Sequence Charts, Industrial Applications of Model Checking, and the use of Formal Methods in Security. Finally, four annotated bibliographies give an overview of Infinite State Space Systems, Testing Transition Systems, Fault-Model-Driven Test Derivation, and Mobile Processes. 236 pp. Englisch.
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 49.71
US$ 56.03 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and…verifying software and hardware systems.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
US$ 54.14
US$ 68.62 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software…and hardware systems.This volume contains tutorials and annotated bibliographies covering the main subjects addressed at MOVEP 2000. The four tutorials deal with Model Checking, Theorem Proving, Composition and Abstraction Techniques, and Timed Systems. Three research papers give detailed views of High-Level Message Sequence Charts, Industrial Applications of Model Checking, and the use of Formal Methods in Security. Finally, four annotated bibliographies give an overview of Infinite State Space Systems, Testing Transition Systems, Fault-Model-Driven Test Derivation, and Mobile Processes.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 236 pp. Englisch.
