Structured Object-Oriented Formal Language and Method Image close
Structured Object-Oriented Formal Language and Method
Structured Object-Oriented Formal Language and Method
Show Hide Adult Content
Structured Object-Oriented Formal Language and Method close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Object-oriented programming

Structured Object-Oriented Formal Language and Method

Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$131.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $33.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 3-15 July using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

ECOOP '99 - Object-Oriented Programming Save $84
$140.99
$225.95
ECOOP '99 - Object-Oriented Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
ECOOP '97 - Object-Oriented Programming Save $62
$140.99
$203.95
ECOOP '97 - Object-Oriented Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Spatial Databases Save $41
$138.99
$180.95
Advances in Spatial Databases
Paperback / softback
Available - Usually ships in 3-4 weeks
ICDT '90 Save $84
$140.99
$225.95
ICDT '90
Paperback / softback
Available - Usually ships in 3-4 weeks
Object-Oriented Technology: ECOOP ’97 Workshop Reader Save $35
$144.99
$180.95
Object-Oriented Technology: ECOOP ’97 Workshop Reader
Paperback / softback
Available - Usually ships in 3-4 weeks
Deductive and Object-Oriented Databases Save $43
$152.99
$196.95
Deductive and Object-Oriented Databases
Paperback / softback
Available - Usually ships in 3-4 weeks
Metaclasses and Their Application Save $18
$139.99
$158.95
Metaclasses and Their Application
Paperback / softback
Available - Usually ships in 3-4 weeks
Objective Coordination in Multi-Agent System Engineering by Michael Schumacher Save $23
$134.99
$158.95
Objective Coordination in Multi-Agent System Engineering
by Michael Schumacher ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Verification of Object-Oriented Software. The KeY Approach
$272.99
Verification of Object-Oriented Software. The KeY Approach
Paperback / softback
Available - Usually ships in 3-4 weeks
ECOOP 2001 - Object-Oriented Programming by Jorgen Lindskov Knudsen Save $64
$138.99
$203.95
ECOOP 2001 - Object-Oriented Programming
by Jorgen Lindskov Knudsen ~ Paperback / softback
Available - Usually ships in 3-4 weeks
UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications Save $64
$138.99
$203.95
UML 2003 -- The Unified Modeling Language, Modeling Languages and...
Paperback / softback
Available - Usually ships in 3-4 weeks
Advanced Information Systems Engineering
$293.99
Advanced Information Systems Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Programming Language Implementation and Logic Programming Save $23
$156.99
$180.95
Programming Language Implementation and Logic Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Deductive and Object-Oriented Databases Save $44
$142.99
$187.95
Deductive and Object-Oriented Databases
Paperback / softback
Available - Usually ships in 3-4 weeks
Modular Specification and Verification of Object-Oriented Programs by Peter Muller Save $23
$134.99
$158.95
Modular Specification and Verification of Object-Oriented Programs
by Peter Muller ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Aliasing in Object-Oriented Programming Save $18
$139.99
$158.95
Aliasing in Object-Oriented Programming
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping.
Release date Australia
August 14th, 2013
Audience
  • Professional & Vocational
Contributor
  • Edited by Shaoying Liu
Illustrations
83 Illustrations, black and white; X, 149 p. 83 illus.
Pages
149
Dimensions
155x235x9
ISBN-13
9783642392764
Product ID
21455310

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming >
Object-oriented programming
Books >
Computers & Internet >
Computer programming / software development >
Object-oriented programming (OOP)