Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Die Lesesäle für Geisteswissenschaften, Naturwissenschaften, der Alte Lesesaal Technik und der Anne-Frank-Shoah-Lesesaal in Leipzig schließen am 04.02.2026 wegen einer Veranstaltung bereits um 15 Uhr. Die weiteren Lesesäle sowie die Servicetheke sind zu den regulären Zeiten geöffnet. //
The humanities reading room, the natural science reading room, the old technology reading room and the reading room of the Anne-Frank-Shoah-Library will close at 15:00 on 4 February 2026 due to an event. The other reading rooms and the service desk will be open during regular hours.
 
 

Ergebnis der Suche nach: tit all "Introduction."

Zurück zur Trefferliste


Treffer 807 von 1510 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/820954403
Titel An introduction to the PL/CV2 [PL/CV two] programming logic / R. L. Constable ; S. D. Johnson ; C. D. Eichenlaub
Person(en) Constable, Robert Lee (Verfasser)
Johnson, Scott D. (Verfasser)
Eichenlaub, Carl D. (Verfasser)
Verlag Berlin ; Heidelberg ; New York : Springer
Zeitliche Einordnung Erscheinungsdatum: 1982
Umfang/Format 292 S. ; 25 cm
ISBN/Einband/Preis 978-3-540-11492-5 (Berlin, Heidelberg, New York) kart. : DM 32.80
3-540-11492-0 (Berlin, Heidelberg, New York) kart. : DM 32.80
978-0-387-11492-7 (New York, Heidelberg, Berlin) kart. (Pr. nicht mitget.)
0-387-11492-0 (New York, Heidelberg, Berlin) kart. (Pr. nicht mitget.)
Beziehungen Lecture notes in computer science ; 135
Anmerkungen Literaturangaben
Status nach VGG: lieferbar
Schlagwörter PL/CV ; Programmierlogik ; Verifikation <EDV> ; Mathematische Logik ; Verifikation (Datenverarbeitung) ; PL/CV ; Programmiersprachen
Sachgruppe(n) 28 Informatik, Datenverarbeitung

Frankfurt Signatur: D 82/22210
Bereitstellung in Frankfurt
Leipzig Signatur: SA 24055-135
Bereitstellung in Leipzig




Treffer 807 von 1510
< < > <




Aktionen

Aktionen





E-Mail-IconAdministration