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=Chai, Ming

Sort by

Software Engineering and Formal Methods: 20th International Conference, SEFM …

This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis…

Edition: 1
ISBN/ISSN: 978-3-031-17108-6
Collation: xvii, 369p.: Ill
Series Title: Lecture Notes in Computer Science
Call Number: 005.437 Sof

Availability1

Add to basket

MARC Download Cite