The IOTA Programming System
Editat de R. Nakajima, T. Yuasaen Limba Engleză Paperback – oct 1983
Preț: 318.69 lei
Preț vechi: 398.37 lei
-20%
Puncte Express: 478
Preț estimativ în valută:
56.35€ • 64.62$ • 48.70£
56.35€ • 64.62$ • 48.70£
Carte tipărită la comandă
Livrare economică 27 aprilie-11 mai
Specificații
ISBN-13: 9783540126935
ISBN-10: 3540126937
Pagini: 232
Ilustrații: IX, 217 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.36 kg
Ediția:1983
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540126937
Pagini: 232
Ilustrații: IX, 217 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.36 kg
Ediția:1983
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Introduction to Common LispTaichi Yuasa et-23%Preț: 526.95 lei684.35 lei -
-27%Preț: 676.09 lei926.15 lei -
-20%Preț: 636.04 lei795.05 lei -
KanbanDavid J. Anderson-20%Preț: 249.74 lei312.18 lei -
The Human Side of AgileGil BrozaPreț: 258.49 lei -
Software EngineeringPer Runeson-8%Preț: 468.01 lei508.70 lei -
Professional GitB LasterPreț: 290.34 lei -
Python AlgorithmsMagnus Lie Hetland-20%Preț: 456.53 lei570.66 lei -
The Definitive Guide to HTML5 WebSocketVanessa Wang-20%Preț: 370.00 lei462.49 lei -
Preț: 385.08 lei -
Continuous Delivery with Visual Studio ALM 2015Mathias Olausson-20%Preț: 297.01 lei371.26 lei -
Design It!Michael Keeling-20%Preț: 243.93 lei304.92 lei -
Mastering ServiceNow - Second EditionMartin Wood-20%Preț: 367.33 lei459.16 lei -
-20%Preț: 319.28 lei399.10 lei -
Component-Based Software EngineeringIvica Crnkovic-20%Preț: 323.39 lei404.23 lei -
Reliable Software Technology - Ada-Europe 2005Tullio Vardanega-20%Preț: 321.94 lei402.43 lei -
-20%Preț: 641.77 lei802.21 lei -
-20%Preț: 646.55 lei808.19 lei -
-20%Preț: 331.48 lei414.35 lei -
Persistent Object Systems: Design, Implementation, and UseGraham N. C. Kirby-20%Preț: 323.81 lei404.76 lei -
Mathematics of Program ConstructionRoland Backhouse-20%Preț: 320.72 lei400.90 lei -
Software Architectures, Components, and ApplicationsSven Overhage-20%Preț: 320.32 lei400.41 lei
Public țintă
ResearchCuprins
1. Language, logical foundation, verification.- 2. System supports for modular programming.- 3. Strategies and techniques for interactive proof.- 4. Supports for building modules, modulebase.- 5. Language processing.- 6. Verification system.- 7. Proof system.- 8. Supports for cooperative modular programming.- 9. Program development witht he IOTA system — KWIC example.