Mathematical Logic for Computer Science

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer London, Auflage 2, 304 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 06.12.2012

82,38 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Ada for Software Engineers

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer London, Auflage 2, 510 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 31.03.2009

85,59 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Mathematical Logic for Computer Science

Produktform: E-Buch Text Elektronisches Buch in proprietärem

This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking.

Verlag: Springer London, Auflage 3, 346 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 16.06.2012

64,19 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Principles of the Spin Model Checker

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer London, 220 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 13.04.2008

69,54 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Principles of the Spin Model Checker

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer London, Auflage 1, 220 Seiten

Erscheinungsdatum: 08.01.2008

69,54 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Ada for Software Engineers

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer London, Auflage 2, 510 Seiten

Erscheinungsdatum: 17.04.2009

85,59 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Mathematical Logic for Computer Science

Produktform: Buch / Einband - flex.(Paperback)

This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking.

Verlag: Springer London, Auflage 3, 346 Seiten

Erscheinungsdatum: 17.06.2012

64,19 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel