Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Piterman Nir Piterman (), Smolka Scott Smolka ()

Paperback (16 Feb 2013)

Not available for sale

Out of stock

Other formats & editions

New: Paperback (20 Feb 2013) - 2013 ~~RRP $97.14~~ $60.75

Publisher's Synopsis

Tools and Algorithms for the Construction and Analysis of Systems

Book information

ISBN:	9783642367434
Publisher:	Springer Nature B.V.
Imprint:	Springer Nature B.V.
Pub date:	16 Feb 2013
Language:	English
Number of pages:	672
Weight:	928g
Height:	234mm
Width:	156mm

Build a Large Language Model (F...

Sebastian Raschka

Hardback
Published 01 Nov 2024

Save $11.39

RRP $63.83
$52.44

In Stock

Add to basket

Balancing Coupling in Software ...

Vladislav Khononov

Paperback
Published 29 Oct 2024

Save $0.73

RRP $48.56
$47.83

In Stock

Add to basket

Refactoring

Martin Fowler

Hardback
Published 11 Jan 2019

Save $11.18

RRP $68.00
$56.82

In Stock

Add to basket

Code

Charles Petzold

Paperback
Published 24 Nov 2022

Save $5.42

RRP $40.24
$34.82

In Stock

Add to basket

Coding With Scratch

Max Wainewright

Paperback
Published 15 Oct 2024

$16.89

In Stock

Add to basket

Mapmatics

Paulina RowiÔnska

Hardback
Published 27 Sep 2024

Save $4.48

RRP $34.63
$30.15

In Stock

Add to basket

Learning Kali Linux

Ric Messier

Paperback
Published 23 Aug 2024

Save $13.33

RRP $66.61
$53.28

In Stock

Add to basket

Programming

Bjarne Stroustrup

Paperback
Published 09 Sep 2024

Save $11.46

RRP $83.26
$71.80

In Stock

Add to basket

Engineering Resilient Systems o...

Kevin Schwarz, Jenni...

Paperback
Published 29 Oct 2024

Save $19.32

RRP $77.71
$58.39

In Stock

Add to basket

Optimizing Cloud Native Java

Benjamin J. Evans (a...

Paperback
Published 25 Oct 2024

Save $16.53

RRP $77.71
$61.18

In Stock

Add to basket