UPA PERPUSTAKAAN UNEJ | NPP. 3509212D1000001

Filter by

Publication Year
Availability

On Shelf
Attachment

PDF

Audio

Video
Collection Type
General Material Designation

Text

Art Original

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

CD-ROM

Multimedia

Electronic Resource

Digital Versatile Disc

Buku
See More
Location

My Library
Language

English

Indonesia

Found 1 from your keywords: author=Ralf Hinze

Sort by

Mathematics of Program Construction: 12th International Conference, MPC 2015,…

This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program constructio…

Edition: -
ISBN/ISSN: 978-3-319-19797-5
Collation: -
Series Title: -
Call Number: -

Availability0

Add to basket

MARC Download Cite

Icons made by Freepik from www.flaticon.com