Open Source Library Management System | The Sriwijaya University Library

Filter by

Publication Year
Availability

On Shelf
Attachment

PDF

Audio

Video
Collection Type

Journal

Books

Fiction

Final Projects

Thesis

Dissertation

Magazine

Proceedings

Newspaper

Bulletin

Reference Collection

1st
See More
General Material Designation

Text

Art Originals

Chart

Computer Software

Diorama

Filmstrip

Flash Card

Game

Globe

Kit

Map

Microform

Manuscript

Model

Motion Picture

Microscope Slide

Music

Picture

Realia

Slide

Sound Recording

Technical Drawing

Transparency

Video Recording

Equipment

Computer File

Cartographic Material

CD-ROM

Multimedia

Electronic Resource

Digital Versatile Disc

Skripsi

Journal

electronic

Newspaper

Bulletin

See More
Location

Central Library

Faculty of Agriculture

Faculty of Computer Sciences

Faculty of Economics

Faculty of Education and Educational Science

Faculty of Engineering

Faculty of Law

Faculty of Mathematics and Natural Sciences

Faculty of Medicines

Faculty of Public Health

Faculty of Social and Politic Science

Postgraduates Study Programs
See More
Language

Arabic

Dutch

English

French

German

Indonesia
See More

Found 1 from your keywords: author=Beckert, Bernhard

Sort by

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to …

Johnsen, Einar Broch Ahrendt, Wolfgang Beckert, Bernhard Bubel, Richard

This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verificati…

Edition: 1
ISBN/ISSN: 978-3-031-08166-8
Collation: xii, 521p.: Ill.
Series Title: Lecture Notes in Computer Science
Call Number: 005.437 The

Availability1

Add to basket

MARC Download Cite