This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and exp
HUTH, MICHAEL (IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE, LONDON),RYAN, MARK (UNIVERSITY OF BIRMINGHAM)
Logic in Computer Science
This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and exp
Zaloga po trgovinah
Rezultati:
Podrobnosti o izdelku
Poglej vseISBN
9780521543101Mladinska knjiga ID
9780521543101Leto izida
2004Datum izida
26.08.2004Število strani
440Status dobavljivosti
7-10 delovnih dniZaložnik
Cambridge University PressAvtor
Huth, Michael (Imperial College of Science, Technology and Medicine, London),Ryan, Mark (University of Birmingham)Dimenzije
246 x 173 x 22BIC
UYA,UYD,UYFOpis
This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and expanded sections and exercises. The coverage of model-checking has been substantially updated.Pogosto kupljeno skupaj
Prikaži vse podrobnosti
Mehka vezava
Ostali so si ogledali tudi ...
Vezava: Trda
Več kot pol milijona knjig
Največja ponudba slovenskih in tujih knjig na enem mestu.
Enostaven nakup
Do izbranega le z nekaj kliki na spletu ali v eni od več kot 50 knjigarn.
Strokoven nasvet
Pred nakupom nas pokličite za nasvet ali se oglasite v knjigarni.
Vse za šolo
Nagrajena izobraževalna gradiva in kakovostne potrebščine.
Celovita ponudba za dom in pisarno
Vrhunski izdelki priznanih blagovnih znamk.
Brezplačna dostava
Brezplačna dostava za vsa naročila nad 59 € (za šolske pakete nad 140 €)
Naslov
Slovenska cesta 29, 1000 Ljubljana
E-naslovSpletna knjigarna: info@emka.si, Mladinska knjiga Založba: info@mladinska-knjiga.si
Kontakt01 241 30 00
Brezplačna številka080 12 05
- Ko izberete elemente, se celotna stran osveži.
- Odpre se v novem oknu.