Logic of Computation
Specificaties
Gebonden, 401 blz.
|
EN
Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
e druk, 1997
ISBN13: 9783540629634
Rubricering
Juridisch
:
Onderdeel van serie
NATO ASI
Levertijd ongeveer 16 werkdagen
Gratis verzonden
Samenvatting
The latest work on formal methods in computer science by the world's leading experts is presented in this volume, based on the 1995 International Marktoberdorf Summer School.
Specificaties
ISBN13:9783540629634
Taal:EN
Bindwijze:Gebonden
Aantal pagina's:401
Uitgever:Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Serie:NATO ASI
Net verschenen
Rubrieken
- aanbestedingsrecht
- aansprakelijkheids- en verzekeringsrecht
- accountancy
- algemeen juridisch
- arbeidsrecht
- bank- en effectenrecht
- bestuursrecht
- bouwrecht
- burgerlijk recht en procesrecht
- europees-internationaal recht
- fiscaal recht
- gezondheidsrecht
- insolventierecht
- intellectuele eigendom en ict-recht
- management
- mens en maatschappij
- milieu- en omgevingsrecht
- notarieel recht
- ondernemingsrecht
- pensioenrecht
- personen- en familierecht
- sociale zekerheidsrecht
- staatsrecht
- strafrecht en criminologie
- vastgoed- en huurrecht
- vreemdelingenrecht