Mise En Oeuvre De La M Thode B Trait Rta S Rie Informatique Et Syst Mes D Information

Autor: BOULANGER Jean-Louis
Publisher: Lavoisier
ISBN: 2746288109
File Size: 28,16 MB
Format: PDF
Read: 3749
Download or Read Book
La mise en place d’un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d’un modèle formel est l’approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d’analyser et de vérifier le comportement d’un logiciel. Cet ouvrage présente la méthode B, une méthode formelle s’appuyant sur la preuve de propriétés qui, sur la base d’une spécification et de la notion de raffinement, permet d’aller jusqu’à la production automatique de code. Différents outils découlant de cette méthode ainsi que des exemples concrets d’utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l’avionique ou les systèmes manufacturiers.

Dumont Reise Taschenbuch Reisef Hrer Paris

Autor: Gabriele Kalmbach
Publisher: DuMont Reiseverlag
ISBN: 3770173775
File Size: 38,24 MB
Format: PDF, Docs
Read: 2998
Download or Read Book
Die Seine-Metropole hat nicht nur enorm viel Sehenswertes zu bieten, sie punktet auch mit diesem ganz besonderen Pariser Flair. Doch wo spürt man es, wo sollte man mit der Stadterkundung beginnen? Wo findet man das romantische Paris? Wohin geht man am Abend? Fragen wie diese beantwortet die Autorin gleich auf den ersten Buchseiten und sorgt mit dem DuMont Reise-Taschenbuch Paris für einen guten Start in der französischen Hauptstadt. Zielsicher führt sie zu den weltbekannten Wahrzeichen wie Eiffelturm, Louvre oder Notre-Dame. In neun Kapiteln # plus einem Ausflugskapitel # werden alle interessanten Quartiere samt Tipps zu Cafés und Restaurants, Einkaufen und Nachtleben beschrieben. Zudem verrät Autorin Gabriele Kalmbach ihre ganz persönlichen Lieblingsorte in Paris, und auf zehn Entdeckungstouren zeigt sie auch außergewöhnliche Ziele abseits des Touristenstroms: In der Orangerie warten Monets Seerosen im Großformat, und die Route durch das beliebte Marais führt zu historischen Adelspalästen aus den Zeiten von König Henri IV. Eine rasche Orientierung ermöglichen die detaillierte Extra-Reisekarte im Maßstab 1:13 500, eine Übersichtskarte mit den Highlights von Paris sowie 20 präzise Citypläne und Tourenkarten. Aktuelle Nachträge und zusätzliche Tipps zum Buch präsentiert die Autorin unter www.dumontreise.de/paris.

Paris

Autor: Gabriele Kalmbach
Publisher: DuMont Reiseverlag
ISBN: 3770172450
File Size: 67,10 MB
Format: PDF, ePub
Read: 8987
Download or Read Book
Gabriele Kalmbach macht sich selbst Konkurrenz, ist sie doch zeitgleich mit 4 Paris-Reiseführern auf dem Buchmarkt vertreten. Neben "City-Trip-Paris" (BA 5/09), dem zuletzt 2008 erschienenen DuMont direkt und dem Reise Know how-Führer (BA 5/08) hat sie jetzt auch die Neubearbeitung des DuMont Reise-Taschenbuches übernommen, das in den Vorauflagen (hier zuletzt BA 12/06) unter dem Namen Friederike Schneidewind erschien. Der Reiseführer ist komplett umgestaltet und auf den neuesten Stand gebracht worden, sodass hier auch schon auf die Pläne Sarkozys, die Défense umzugestalten und Bürgermeister Delanoes Ankündigung, nach dem Fahrradverleihsystem Vélib auch ein Carsharingsystem mit 4.000 Elektroautos aufzubauen, informiert wird. G. Kalmbach gibt persönliche Tipps, die aber nicht viel Neues bringen (das Restaurant "Bofinger" z.B. wird in den meisten Führern als Tipp genannt). Die optische Gestaltung ist gut gelungen, eine augenfreundliche Reisekarte liegt lose bei. Die 4. und die 5. Auflage von 2006 und 2007 müssen noch nicht gelöscht werden, die davor schon. Zuverlässiger Standard-Reiseführer. (2)