KOBV Portal

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Online Resource

Berlin, Heidelberg ; s.l. : Springer Berlin Heidelberg | Imprint: Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV041731464

Format: 1 Online-Ressource (XVII, 236 p.) , Ill.

Edition: Online-Ausgabe Springer eBook Collection / Computer Science

ISBN: 9783642400384 , 9783642400377

Note: Description based upon print version of record

Additional Edition: Reproduktion von Berstel-Da Silva, Bruno Verification of Business Rules Programs 2014

Language: English

Subjects: Computer Science

RVK:

ST 270

Keywords: Informatik ; Logischer Entwurf ; Datenbankverwaltung ; Künstliche Intelligenz

DOI: 10.1007/978-3-642-40038-4

URL: Volltext

Author information: Berstel-Da Silva, Bruno

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

TH Brandenburg

BTU Cottbus

hit 1 - 1 | 1 hit

Kooperativer Bibliotheksverbund