Automated Theorem Proving in Software Engineering
von Johann M. Schumann
2010 Kartoniert, 244 Seiten, 235mm x 155mm x 14mm, Sprache(n): eng Demonstrates the potential of automated theorem proving for applications in software engineering Performance and importance illustrated by detailed case studiesSelf-contained and with an extensive bibliography providing pointers…
Ueber die Evidenz der Beweise für die Wahrheit der Christlichen Religion. [Beigebunden]: Antwort au…
von Johann Daniel Schumann Verlag: Hannover: Schmidt,
1778. [4] Bl., 167 S., 30 S. Ehemaliges Bibliotheksexemplar mit Stempel und Rückensignatur. Leichte bis mittlere Lager- und Gebrauchsspuren. Einband fleckig, leicht wurmstichig, berieben und bestoßen. Papier nachgedunkelt. Papier altersüblich nachgedunkelt. Seiten stellenweise stockfleckig. VD18…
Etui-Bibliothek der ausländischen Classiker No 149 / 150 / 151 / 152
von August Schumann Verlag: Zwickau: im Verlage der Gebrüder Schumann,
ca. 1825. 16°, 11,0 x 9,0 cm, Hardcover in Leder, Ledereinband mit Buchrückenvergoldung und vergoldeten Stehkanten. Grüner Dreiseitfarbschnitt, Lesebändchen, handgemachte Vorsätze VIII / 208 / 220 / 223 Seiten Zustand: Stempel und Name auf eingeklebtem Zettel auf Vorsatz // Mit 4 Frontispizen. Üb…
Etui-Bibliothek der ausländischen Classiker No 129 / 130 / 131 / 132
von August Schumann Verlag: Zwickau: im Verlage der Gebrüder Schumann,
1825. 16°, 11,0 x 9,0 cm, Hardcover in Leder, Ledereinband mit Buchrückenvergoldung und vergoldeten Stehkanten. Grüner Dreiseitfarbschnitt, Lesebändchen, handgemachte Vorsätze 254 / 256 / XVI Seiten Zustand: Stempel und Name auf eingeklebtem Zettel auf Vorsatz // Mit 4 Frontispizen. Übersetzt von…
Etui-Bibliothek der ausländischen Classiker No 168 / 169 / 170 / 171
von August Schumann Verlag: Zwickau: im Verlage der Gebrüder Schumann,
1826. 16°, 11,0 x 9,0 cm, Hardcover in Leder, Ledereinband mit Buchrückenvergoldung und vergoldeten Stehkanten. Grüner Dreiseitfarbschnitt, Lesebändchen, handgemachte Vorsätze 238 / 224 / 221 / 240 Seiten Zustand: Stempel und Name auf eingeklebtem Zettel auf Vorsatz // Mit 4 Frontispizen. Überset…
Etui-Bibliothek der ausländischen Classiker No 180 / 181 / 182 / 183
von August Schumann Verlag: Zwickau: im Verlage der Gebrüder Schumann,
1826. 16°, 11,0 x 9,0 cm, Hardcover in Leder, Ledereinband mit Buchrückenvergoldung und vergoldeten Stehkanten. Grüner Dreiseitfarbschnitt, Lesebändchen, handgemachte Vorsätze 137 / 184 / 184 / 175 Seiten Zustand: Stempel und Name auf eingeklebtem Zettel auf Vorsatz // Mit 4 Frontispizen. Überset…
Etui-Bibliothek der ausländischen Classiker No 13 / 14 / 15 / 16
von August Schumann Verlag: Zwickau: im Verlage der Gebrüder Schumann,
ca. 1821. 16°, 11,0 x 9,0 cm, Hardcover in Leder, Ledereinband mit Buchrückenvergoldung und vergoldeten Stehkanten. Grüner Dreiseitfarbschnitt, Lesebändchen, handgemachte Vorsätze XIV / 118 / XIV / 110 Seiten Zustand: Stempel und Name auf eingeklebtem Zettel auf Vorsatz // Mit 3 Frontispizen. Übe…
Etui-Bibliothek der ausländischen Classiker No 102 / 3 / 4 / 5
von August Schumann Verlag: Zwickau: im Verlage der Gebrüder Schumann,
ca. 1824. 16°, 11,0 x 9,0 cm, Hardcover in Leder, Ledereinband mit Buchrückenvergoldung und vergoldeten Stehkanten. Grüner Dreiseitfarbschnitt, Lesebändchen, handgemachte Vorsätze 159 / 158 / 223 / 154 Seiten Zustand: Stempel und Name auf eingeklebtem Zettel auf Vorsatz // Mit 4 Frontispizen. Übe…
Etui-Bibliothek der ausländischen Classiker No 29 / 30 / 31
von August Schumann Verlag: Zwickau: im Verlage der Gebrüder Schumann,
1822. 16°, 11,0 x 9,0 cm, Hardcover in Leder, Ledereinband mit Buchrückenvergoldung und vergoldeten Stehkanten. Grüner Dreiseitfarbschnitt, Lesebändchen, handgemachte Vorsätze XXXII / 126 / 155 / 190 Seiten Zustand: Stempel und Name auf eingeklebtem Zettel auf Vorsatz // Mit 3 Frontispizen. Übers…
Etui-Bibliothek der ausländischen Classiker No 106 / 7 / 8 / 9
von August Schumann Verlag: Zwickau: im Verlage der Gebrüder Schumann,
ca. 1824. 16°, 11,0 x 9,0 cm, Hardcover in Leder, Ledereinband mit Buchrückenvergoldung und vergoldeten Stehkanten. Grüner Dreiseitfarbschnitt, Lesebändchen, handgemachte Vorsätze XIX / 188 / XXX / 175 Seiten Zustand: Stempel und Name auf eingeklebtem Zettel auf Vorsatz // Mit 4 Frontispizen. Übe…
- Autor
- Schumann Johannes
- Preis
- 50€ bis 100€
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!