- 授权协议: 未知
- 开发语言: Java
- 操作系统: 跨平台
- 软件首页: http://scribble.github.io/
- 软件文档: http://scribble.github.io/
- 官方下载: https://github.com/scribble/scribble-java/releases
软件介绍
Scribble 是在通信系统描述应用层协议的语言。Scribble 有一定的理论基础,基于 Pi 演算和会话类型,确保使用语言来进行协议描述,不受活锁或者死锁的影响。
示例:
民事诉讼程序研究
乔罗威茨 / 吴泽勇 / 2008-6 / 40.00元
《民事诉讼程序研究》共分为诉讼程式;扩散利益、分散利益和集体利益的保护;程式样式;当事人与法官;对判決的救济;程式改革。主要內容包括:民事诉讼;英美民事诉讼程式在20世纪的若干发展;论民事诉讼法的本质和目的等。一起来看看 《民事诉讼程序研究》 这本书的介绍吧!
