Programming and Proof System ATES

Name: Programming and Proof System ATES
Brand: Springer, Berlin
SKU: 9783540541882
Price: 40590 HUF
Availability: InStock

Advanced Techniques Integration into Efficient Scientific Software

Szerző: Armand Puccetti

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten alacsony példányszámban

Küldés 13-18 napon belül

40 590 Ft

This ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common fr...

Információk a könyvről

Szerző

Armand Puccetti

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1991

oldal

352

EAN

9783540541882

ISBN

9783540541882

Enbook ID

06623975

Kiadó

Springer, Berlin

Súly

607

Méretek

170 x 244 x 18

Teljes leírás

This ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common framework to create an environment for scientific software design. It focuses upon recent developments concerning abstraction of data types, data base management, specification and program verification.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Programming and Proof System ATES

Advanced Techniques Integration into Efficient Scientific Software

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták