- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642400377
364240037X
- Maße
-
25 cm
- Umfang
-
XVII, 236 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Schlagwort
-
Produktionsregelsystem
Geschäftsregel
Logische Programmierung
Operationale Semantik
Hoare-Logik
Korrektheit
Programmverifikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Heidelberg, New York, NY, Dordrecht, London, Berlin
- (wer)
-
Springer
- (wann)
-
2014
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:16 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Berstel-Da Silva, Bruno
- Springer
Entstanden
- 2014
Ähnliche Objekte (12)
Verification of business rules programs : = Verifikation von Geschäftsregel-Programmen
Verification of sequential and concurrent programs
Modular specification and verification of object oriented programs
Agile Unternehmen durch business rules : der Business-rules-Ansatz ; mit 40 Tabellen
Agile business rule development : process, architecture, and JRules examples
Semantic methods for execution level business process modeling : modeling support through process verification and service composition
Service business
Verification of pointer programs
Mathematica computer programs for physical chemistry, Buch.
Bacterial circadian programs
Impact of internship programs on professional and personal development of business students: A case study from Pakistan
Leveraging applications of formal methods, verification, and validation, Pt. 1
Verification of business rules programs : = Verifikation von Geschäftsregel-Programmen
Verification of sequential and concurrent programs
Modular specification and verification of object oriented programs
Agile Unternehmen durch business rules : der Business-rules-Ansatz ; mit 40 Tabellen
Agile business rule development : process, architecture, and JRules examples
Semantic methods for execution level business process modeling : modeling support through process verification and service composition
Service business
Verification of pointer programs
Mathematica computer programs for physical chemistry, Buch.
Bacterial circadian programs
Impact of internship programs on professional and personal development of business students: A case study from Pakistan
Leveraging applications of formal methods, verification, and validation, Pt. 1
Verification of business rules programs : = Verifikation von Geschäftsregel-Programmen
Verification of sequential and concurrent programs
Modular specification and verification of object oriented programs
Agile Unternehmen durch business rules : der Business-rules-Ansatz ; mit 40 Tabellen
Agile business rule development : process, architecture, and JRules examples
Semantic methods for execution level business process modeling : modeling support through process verification and service composition
Service business
Verification of pointer programs
Mathematica computer programs for physical chemistry, Buch.
Bacterial circadian programs
Impact of internship programs on professional and personal development of business students: A case study from Pakistan