Formal Methods in Programming and Their Applications
International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceeding (Lecture Notes in Computer Science)
poolt Dines Bjørner- Vorming
- 434 lehekülgi, Paperback
- Esmakordselt avaldatud
- November 1993
- Kirjastajad
- Springer
- Subjects
- Computer programming·Logic design·Programming·Software development·Programming languages·General·Computers·General information·Programming
- Keel
- English
Raamatud
Domain Science and Engineering
Dines Bjørner
Literature of Suburban Change
Martin Dines
Take-Over Friend
Carol Dines
Look Where You Are Going Not Where You Have Been
Steven J. Dines
Elbow Ulnar Collateral Ligament Injury
Joshua S. Dines
Literature of Suburban Change
Martin Dines
Literature of Suburban Change
Martin Dines
Super Self Care
Christopher Dines
Literature of Suburban Change
Martin Dines
Shoulder Surgery
Joshua S. Dines
Perspectives of System Informatics
Nikolaj Bjørner
Escaping The Light
Taylor Dines
Punk Reader
Mike Dines
Drug Addiction Recovery
Chris Dines
Bijtë e Dheut
Lucas Dines
Gender, Race, and Class in Media
Gail Dines
The Making of a Multiple Personality
Shana Dines
Reverse Shoulder Arthroplasty
David M. Dines
Die Sopranistin der Königin
Carol Dines
Elbow Ulnar Collateral Ligament Injury
Joshua S. Dines
Literary Discourse
Jørgen Dines Johansen
The aesthetic of our anger
Michael Dines
New Suburban Stories
Martin Dines
FM 2015 : Formal Methods
Nikolaj Bjørner
Distributed Computing and Internet Technology
Nikolaj Bjørner
Elbow Ulnar Collateral Ligament Injury
Joshua S. Dines
Elbow Ulnar Collateral Ligament Injury
Joshua S. Dines
FM 2015 : Formal Methods
Nikolaj Bjørner
Gender, Race, and Class in Media
Gail Dines
Pornography
Gail Dines
Pornography
Gail Dines
Pornography
Gail Dines
Pornography
Gail Dines
Being Glorified Together With Him
Charlie Dines
Skyld og uskyld i mellemtiden
Jørgen Dines Johansen
Tuff city
Nicholas T. Dines
Sports medicine of baseball
Joshua S. Dines
Pornland
Gail Dines
Gender, race, and class in media
Gail Dines
Redskab og musik
Jørgen Dines Johansen
Gender, race, and class in media
Gail Dines
Istorii︠a︡ predprinimatelʹstva v Rossii
V. A. Dines
Automated Deduction -- CADE-23
Nikolaj Bjørner
Pornland
Gail Dines
Pornland
Gail Dines
Logics of Specification Languages
Dines Bjørner
Fact, fiction and faction
Jørgen Dines Johansen
Arthritis & arthroplasty.
David M. Dines
Genre
Jorgen Dines Johansen
Genre
Jørgen Dines Johansen
Genre
Jorgen Dines Johansen
Girikuñjara
Dinēś Śeṭṭi Reñjāḷa
Dehali nōṭa
Dinēś Amīn Maṭṭu
Logics of Specification Languages
Dines Bjorner,Martin C. Henson
The Jigsaw Maker
Adrienne Dines
Software Engineering 2
Dines Bjørner
Sarnased raamatud
Atkins Enterprise Networks
Atkins, John
.NET Internals and Advanced Debugging Techniques
Mario Hewardt
Sams Teach Yourself jQuery in 24 Hours
Julie C. Meloni
Linux Threads Programming
Ulrich Drepper
SQL Server 2012 T-SQL Programming Unleashed
David Solomon
Core JavaServer Faces
David Geary
Sams Teach Yourself Flash Professional CS5 in 24 Hours
Phillip Kerman
Designing Dynamic Java Applications with OSGi
Valery Abu-Eid
Official VCAP5-DCA Cert Guide
Cody Bunch
Power Postgresql
Joe Conway
VMware Network Virtualization
Thomas Kraus
Vcp5-Dcv Lab Booklet
Thomas Trevethan
Advanced Oracle Solaris 11 System Administration
Bill Calkins
MVVM Unleashed
Michael Brown
Programming in Swift
Stephen G. Kochan
Disaster Recovery Planning
Jon William Toigo
Managing Performance and Capacity
David Collier-Brown
Creating Motion Graphics with after Effects
Chris Meyer
Practical Privacy Enhancement Technologies
Shishir Nagaraja
Animation Careers
Jan Nagel
Games People Play
Iain Donald
Scalable Algorithms
Vassil Alexandrov
Study Guide for TOGAF 9. 1 Certifications
B. V. Kumar
HIPAA and PCI Audits
Raj Goel
Inter Domain Routing Security
Marcelo Yannuzzi
Visual Storytelling with Color and Light
Michael Humphries
Blender Foundations
Alan Thorn
Overdispersion
David Fletcher
Wireless Network Security
Jack L. Burbank
Wireless Network Security
Jack L. Burbank
Mental Ray My Way
Lee Wylde
Ray Tracing from the Ground up, Second Edition
Kevin Suffern
Introduction to Software Development
Craig Tidwell
Extraordinarily Badass Agile Coaching
Robert Galen
Mastering Django
Nigel George
Affinity Publisher for Basic Book Covers
M. L. Humphrey
Database Design Succinctly
Joseph D. Booth
Handbook of Real-Time Computing
Yuchu Tian
Autodesk Inventor 2023 : Advanced Part Modeling
ASCENT - Center for Technical Knowledge
DNSSEC Mastery
Michael W. Lucas
Mastering IBM I Security
Carol Woodbury
Business Analysis and Process Modeling Guidebook
Ahmed Hussein
Introduction to Software Development
Steven Zimmerman
Php : This Book Includes
Andy Vickler
Autodesk Civil 3D 2022 : Fundamentals for Grading Optimization
ASCENT - Center for Technical Knowledge
SwiftUI Essentials - iOS 15 Edition
Neil Smyth
Data Structures & Algorithms in Dart
raywenderlich Tutorial Team
IPhone 13 User Guide for Seniors
Willie Anne Candy
Advanced IOS App Architecture
raywenderlich Tutorial Team
Elementary Introduction to the Wolfram Language
Stephen Wolfram
Mac OS X Troubleshooting
Matt Washchuk
Computational System Design in R
Brian Rowe
Gouvernance Non Intrusive des Données
Robert Seiner