Software Engineering with OBJ, Joseph A. Goguen; Grant Malcolm
Автор: Marcello M. Bonsangue; Susanne Graf; Willem-Paul d Название: Formal Methods for Components and Objects ISBN: 3540921877 ISBN-13(EAN): 9783540921875 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007, was held in Amsterdam, The Netherlands, in October 2007. This title presents 12 revised papers submitted after the symposium by the speakers of various European IST projects.
Описание: * Discounted at $ 23.95 instead of $ 39.95 for a few days with 55% OFF * LAST DAYS
The Way to Become an Expert Coder
Have you ever been interested in writing some of your own codes and creating a program that is going to be strong and impress others?
What if you were able to do this without spending years in schools or hours poring over a book and getting as confused as possible?
Thanks to this guidebook, you will be able to do just that with the help of the Python coding language.
This guidebook is going to take some time looking at the Python coding language and all of the cool things that you are able to do with this along the way.
Some of the different topics that we are going to discuss when you are ready to start working with the Python coding language for yourself include:
What are some of the basics of the Python language and the benefits of using this over some of the other options?
How to install the Python coding and all its tools on the different operating systems
Some of the basics of your code before we get started
Classes and objects and what you can do with them
How to handle and raise your own exceptions in the code
Working with the conditional statements
How to create your own lists on this kind of coding language
Working with lists, loops, and files on this kind of language
The importance of those functions in Python
How to work with a bit of data visualization
What the regular expressions are all about in the Python coding language
How to test out some of the codes that you are working on to make sure that they work well
There are so many different things that you are able to do when it comes to writing your own codes in the Python language.
Whether you are a beginner in this kind of language or you have been doing it for some time, make sure to check out this guidebook to learn how the Python coding language is able to work for you.
If all of this sounds like your ideal book, then hop on over and hit now that buy button
Автор: Sophia Drossopoulou Название: ECOOP 2009 -- Object-Oriented Programming ISBN: 3642030122 ISBN-13(EAN): 9783642030123 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Thanks to Sophia Drossopoulou for her dedicated work as PC Chair in assembling a ?ne scienti?c program including forward-looking keynotes, and for her e?orts to reduce the environmental impact of the PC meeting by replacing a physical meeting with a virtual meeting.
Автор: Marcello M. Bonsangue; Eric Madelaine Название: Formal Methods for Components and Objects ISBN: 3642041663 ISBN-13(EAN): 9783642041662 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Patrick Eugster Название: Object-Oriented Technology. ECOOP 2008 Workshop Reader ISBN: 3642020461 ISBN-13(EAN): 9783642020469 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains the final reports of the workshops held during the 22nd European Conference on Object-Oriented Programming, in Paphos, Cyprus, in July 2008. This book covers topics related to object-oriented programming and technology, such as programming languages, aspects, parallel computing, formal techniques, software engineering, and applications.
Автор: Jan Vitek Название: Objects, Models, Components, Patterns ISBN: 3642139523 ISBN-13(EAN): 9783642139529 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the 48th International Conference on Objects, Models, Components, Patterns, held in Malaga, Spain, in June/July 2010.
Автор: Theo D`Hondt Название: ECOOP 2010 -- Object-Oriented Programming ISBN: 3642141064 ISBN-13(EAN): 9783642141065 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: constitutes the refereed proceedings of the 24th European Conference on Object-Oriented Programming, ECOOP 2010, held in Maribor, Slovenia, in June 2010. This book includes papers that cover topics such as programming environments and tools, theoretical foundations of programming languages, formal methods, and concurrency models in Java.
Описание: Software Engineering Techniques Applied to Agricultural Systems presents cutting-edge software engineering techniques for designing and implementing better agricultural software systems based on the object-oriented paradigm and the Unified Modeling Language (UML).
Автор: Jell Название: Component-Based Software Engineering ISBN: 0521648211 ISBN-13(EAN): 9780521648219 Издательство: Cambridge Academ Рейтинг: Цена: 10136.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book, first published in 1997, covers the most important topics in ComponentWare (TM) technology, based in large part on the first Component Users Conference. It addresses such issues as componentware platforms, component design and architecture, distributed object computing, componentware languages, patterns and frameworks, interoperability, and debugging and testing.
Описание: This book presents the proceedings of the International Conference SDOT which was organized at the University in ?ilina, Faculty of Management Sciences and Informatics, Slovak Republic in November 19, 2015. The conference was truly international both in terms of the amount of foreign contributions and in terms of composition of steering and scientific committees. The book and the conference serves as a platform of professional exchange of knowledge and experience for the latest trends in software development and object-oriented technologies (theory and practice). This proceedings present information on the latest developments and mediate the exchange of experience between practitioners and academia.
Описание: On the Power of Attribute-Based Communication.- Fencing Programs with Self-Invalidation and Self-Downgrade.- A Framework for Certified Self-Stabilization.- Developing Honest Java Programs with Diogenes.- Playing with our CAT and Communication-Centric Applications.- Multiparty Session Types Within A Canonical Binary Theory, and Beyond.- A Type Theory for Robust Failure Handling in Distributed Systems.- Choreographies in Practice.- Specification-Based Synthesis of Distributed Self-Stabilizing Protocols.- Branching Bisimulation Games.- A Configurable CEGAR Framework with Interpolation-Based Refinements.- A Theory for the Composition of Concurrent Processes.- Enforcing Availability in Failure-Aware Communicating Systems.- Ransomware Steals Your Phone. Formal Methods Rescue It.- Multiple Mutation Testing from FSM.- The Challenge of Typed Expressiveness in Concurrency.- Type-Based Analysis for Session Inference.- SimAutoGen Tool: Test Vector Generation from Large Scale Matlab/Simulink Models.
Автор: Michael A. Smith Название: Object-Oriented Software in C++ ISBN: 0412553805 ISBN-13(EAN): 9780412553806 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Approaches C++ as a language in its own right, rather than as a development of C. The text concentrates on the object-oriented features of the language and utilizes the mechanisms of C++ which allow the user to avoid having to use low-level features.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
