topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 6
 |
Entwurf Und Verifikation Mikroprogrammierter Rechnerarchitekturen
ISBN: 9783540183204 / Niemiecki / Miękka / 1987 / 327 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Dieses Buch stellt eine Methodik zum systematischen Entwurf korrekter Mikroprogramme vor. Behandelt werden samtliche Phasen der Firmwareentwicklung: das Erstellen einer formalen Beschreibung der Anforderungen, Techniken zur hierarchischen Organisation des Entwurfs, die Mikroprogrammierung in einer geeigneten hoheren Mikroprogrammiersprache, sowie formale Techniken zur Uberprufung der Korrektheit des Entwurfs. Damit wird erstmals eine Firmwareverifikationsmethode vorgestellt, die sowohl fur beliebige Mikroarchitekturen einsetzbar ist als auch eine inkrementelle und modulare Verifikation des...
Dieses Buch stellt eine Methodik zum systematischen Entwurf korrekter Mikroprogramme vor. Behandelt werden samtliche Phasen der Firmwareentwicklung: d...
|
cena:
201,35 zł |
 |
Computer Aided Verification: 19th International Conference, Cav 2007, Berlin, Germany, July 3-7, 2007, Proceedings
ISBN: 9783540733676 / Angielski / Miękka / 2007 / 584 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the proceedings of the International Conference on C- puter Aided Veri?cation (CAV), held in Berlin, Germany, July 3 7, 2007. CAV 2007 was the 19th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical veri?cation tools and the algorithms and techniques that are needed for their implementation. We received 134 regular paper submissions and 39 tool...
This volume contains the proceedings of the International Conference on C- puter Aided Veri?cation (CAV), held in Berlin, Germany, July 3 7, 2007. CAV...
|
cena:
195,87 zł |
 |
Agility für Fortgeschrittene : Erfolgreich führen mit Körpersprache
ISBN: 9783942335898 / Niemiecki / Twarda / 2012 / 160 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
82,97 zł |
 |
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, Ftrtft 2002, Co-Sponsored by Ifip Wg 2.2, Oldenburg, Germany,
ISBN: 9783540441656 / Angielski / Miękka / 2002 / 462 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the University of Oldenburg, Germany, 9-12 September 2002. This sym- sium was the seventh in a series of FTRTFT symposia devoted to problems and solutions in safe system design. The previous symposia took place in Warwick 1990, Nijmegen 1992, Lub ] eck 1994, Uppsala 1996, Lyngby 1998, and Pune 2000. Proceedings of these symposia were published as volumes 331, 571, 863, 1135, 1486, and 1926 in the LNCS series by Springer-Verlag. This year the...
This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at...
|
cena:
195,87 zł |
 |
Schemap�dagogik bei jugendlichen Gewaltt�tern. Diagnose von Schemata, Konfrontation und Verhaltens�nderung
ISBN: 9783838201900 / Niemiecki / Miękka / 2011 / 268 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Der Umgang mit jugendlichen Gewalttätern ist schwierig und stellt an die professionelle Fachkraft hohe Anforderungen. Tätern fehlt es meistens an Schuldbewusstsein und Selbsteinsicht was psychodynamische Ursachen hat. Rückfälle sind daher die Regel.§Das Autorenteam Marcus Damm und Stefan Werner zeigt die Anwendung der Schemapädagogik in der Arbeit mit jugendlichen Gewalttätern anhand zahlreicher anschaulicher Beispiele auf. Außerdem wird eine neue Interventionsmethode vorgestellt: die aktivierende Ressourcenkonfrontation. §Schemapädagogik basiert auf aktuellen Erkenntnissen der...
Der Umgang mit jugendlichen Gewalttätern ist schwierig und stellt an die professionelle Fachkraft hohe Anforderungen. Tätern fehlt es meistens an Sc...
|
cena:
128,55 zł |
 |
Practical Formal Methods for Hardware Design
ISBN: 9783540620075 / Angielski / Miękka / 1997 / 293 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This Esprit volume presents research results from the FORMAT (formal methods in hardware verification) project, a collaboration of five European enterprises, a research institute, and two universities.
This Esprit volume presents research results from the FORMAT (formal methods in hardware verification) project, a collaboration of five European enter...
|
cena:
195,87 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
