Rozoy brigitte (4 Ergebnisse)
RECHERCHES N° 41 - La politique de l'ignorance - Mathématiques - Enseignement - Société
KALEKA Gérard, LEDOUX Françoise, ROUCHIER André, ROZOY-SENECHAL Brigitte
Verlag: Paris - 1980, 1980
- Softcover
Anbieter: Sylvain Paré, Montolieu, FrankreichSylvain Paré
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 7,50
EUR 15,20 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbRecherches, 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
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 47,52
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
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)
Verlag: Recherches, Paris, 1980
- Softcover
Anbieter: LibrairieLaLettre2, Villefranche de Lauragais, FrankreichLibrairieLaLettre2
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut bis sehr gut
EUR 20,00
EUR 35,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbBroché. Zustand: Bon état. in-8 Description :191 pp. Dos insolé. Langue : Français Nb de volumes : 1.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,74
EUR 61,83 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: 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 s…ystems.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.
