Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings (Paperback, 1st ed. 2016) Loot Price: R3,003
Discovery Miles 30 030
Repayment Terms: R281 pm x 12*
Add to cart
Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo,...

Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings (Paperback, 1st ed. 2016)

Kazuhiro Ogata, Mark Lawford, Shaoying Liu

Series: Programming and Software Engineering, 10009

 (sign in to rate)
Loot Price R3,003 Discovery Miles 30 030 | Repayment Terms: R281 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

General

Imprint: Springer International Publishing AG
Country of origin: Switzerland
Series: Programming and Software Engineering, 10009
Release date: October 2016
First published: 2016
Editors: Kazuhiro Ogata • Mark Lawford • Shaoying Liu
Dimensions: 235 x 155 x 22mm (L x W x T)
Format: Paperback
Pages: 486
Edition: 1st ed. 2016
ISBN-13: 978-3-319-47845-6
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Internet > Network computers
Books > Computing & IT > Computer programming > Programming languages > General
Promotions
LSN: 3-319-47845-1
Barcode: 9783319478456

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Problem Solving with C++ - Global Edition (Paperback, 10th edition): Walter Savitch
Problem Solving with C++ - Global…
Walter Savitch Paperback R2,571 Discovery Miles 25 710
Introducing Delphi Programming - Theory Through Practice (Paperback, 4th Edition): John Barrow, Linda Miller, Katherine Malan,...
Introducing Delphi Programming - Theory…
John Barrow, Linda Miller, … Paperback  (1)
 R863 Discovery Miles 8 630
C++ Programming - Program Design Including Data Structures (Paperback, 8th edition): D. Malik
C++ Programming - Program Design…
D. Malik Paperback R1,687 R1,560 Discovery Miles 15 600
C++ How to Program: Horizon Edition (Paperback, 8th edition): Harvey Deitel, Paul Deitel
C++ How to Program: Horizon Edition
Harvey Deitel, Paul Deitel Paperback R1,910 Discovery Miles 19 100
Java How to Program, Late Objects, Global Edition (Paperback, 11th edition): Paul Deitel, Harvey Deitel
Java How to Program, Late Objects…
Paul Deitel, Harvey Deitel Paperback R900 R750 Discovery Miles 7 500
Advanced Visual Basic 6 - Power Techniques for Everyday Programs (Paperback): Matthew Curland, Gary Clarke
Advanced Visual Basic 6 - Power…
Matthew Curland, Gary Clarke Paperback R1,344 Discovery Miles 13 440
Advanced SQL with SAS (Hardcover): Christian F. G. Schendera
Advanced SQL with SAS
Christian F. G. Schendera Hardcover R2,599 Discovery Miles 25 990
The C++ Project - A companion for learning the C++ programming language (Hardcover, 2nd ed.): Marcos Tewfiq
The C++ Project - A companion for…
Marcos Tewfiq Hardcover R1,449 Discovery Miles 14 490
A Day in Code- Python - Learn to Code in Python through an Illustrated Story (for Kids and Beginners) (Hardcover): Shari Eskenas
A Day in Code- Python - Learn to Code in…
Shari Eskenas Hardcover R692 Discovery Miles 6 920
CSS and HTML for beginners - A Beginners HTML and CSS Guide to Developing a Strong Coding Foundation, Building Responsive...
CSS and HTML for beginners - A Beginners…
Ethan Hall Hardcover R960 Discovery Miles 9 600
SQL - 2 books in 1 - The Ultimate Beginner's & Intermediate Guide to Learn SQL Programming step by step (Hardcover): Ryan...
SQL - 2 books in 1 - The Ultimate…
Ryan Turner Hardcover R1,133 R955 Discovery Miles 9 550
Basic Python Commands - Learn the Basic Commands of the World's Most Intuitive and Widely Used Programming Language...
Basic Python Commands - Learn the Basic…
Manuel Mcfeely Hardcover R869 R747 Discovery Miles 7 470

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners