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=Lima, Lucas

Sort by

Formal Methods Foundations and Applications: 25th Brazilian Symposium, SBMF 2…

This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the construction of high-quality computational syst…

Edition: 1
ISBN/ISSN: 978-3-031-22476-8
Collation: xiv, 143p.: Ill.
Series Title: Lecture Notes in Computer Science
Call Number: 005.437 For

Availability1

Add to basket

MARC Download Cite